Repositories list

• zio-petclinic-scala-3

  Public
  Updated zio-petclinic example app to use Scala 3

  JavaScript

  •

  Apache License 2.0

  •22 forks•00 stars•00 issues•00 pull requests•Updated Oct 21, 2022Oct 21, 2022

• unison

  Public
  A friendly programming language from the future

  Haskell

  •

  Other

  •309309 forks•00 stars•00 issues•00 pull requests•Updated Sep 23, 2022Sep 23, 2022

• glicol

  Public
  Graph-oriented live coding language and music DSP library written in Rust

  Rust

  •

  MIT License

  •9898 forks•00 stars•00 issues•00 pull requests•Updated Sep 19, 2022Sep 19, 2022

• HoTT

  Public
  Coq code that helps me learn HoTT.

  Coq

  •22 forks•00 stars•00 issues•00 pull requests•Updated Jul 15, 2022Jul 15, 2022

• Seminar-Bisimulation-and-Coinduction

  Public
  Code and slides for my talk presented at the seminar.

  TeX

  •22 forks•00 stars•00 issues•00 pull requests•Updated Mar 14, 2022Mar 14, 2022

• sbt-nix.g8-1

  Public
  :snowflake: Get started with Nix in Scala

  Nix

  •

  Apache License 2.0

  •1313 forks•00 stars•00 issues•00 pull requests•Updated Oct 15, 2021Oct 15, 2021

• SPLV20

  Public
  SPLV20 course notes

  Idris

  •3535 forks•00 stars•00 issues•00 pull requests•Updated May 20, 2021May 20, 2021

• coq-lecture-notes

  Public
  Coq Lecture Notes (WIP)

  Coq

  •1111 forks•00 stars•00 issues•00 pull requests•Updated Oct 17, 2020Oct 17, 2020

• CT_from_Programmers.scala-1

  Public
  Scala sample code for Bartosz Milewski's CT for Programmers

  Scala

  •3737 forks•00 stars•00 issues•00 pull requests•Updated Nov 29, 2018Nov 29, 2018

• Freasy-Monad

  Public
  Easy way to create Free Monad using Scala macros with first-class Intellij support.

  Scala

  •

  MIT License

  •99 forks•00 stars•00 issues•00 pull requests•Updated Jun 15, 2018Jun 15, 2018

• TypeDD-Samples

  Public
  Sample code from "Type Driven Development with Idris"

  Idris

  •

  MIT License

  •4343 forks•00 stars•00 issues•00 pull requests•Updated Aug 6, 2017Aug 6, 2017