abelgor
Popular repositories Loading
-
TypeDD-Samples
TypeDD-Samples PublicForked from edwinb/TypeDD-Samples
Sample code from "Type Driven Development with Idris"
Idris
-
-
coq-lecture-notes
coq-lecture-notes PublicForked from anton-trunov/coq-lecture-notes
Coq Lecture Notes (WIP)
Coq
-
CT_from_Programmers.scala-1
CT_from_Programmers.scala-1 PublicForked from typelevel/CT_from_Programmers.scala
Scala sample code for Bartosz Milewski's CT for Programmers
Scala
-
Freasy-Monad
Freasy-Monad PublicForked from Thangiee/Freasy-Monad
Easy way to create Free Monad using Scala macros with first-class Intellij support.
Scala
-
glicol
glicol PublicForked from DrRuisseau/glicol
Graph-oriented live coding language and music DSP library written in Rust
Rust
Repositories
- zio-petclinic-scala-3 Public Forked from kyledinh/zio-petclinic-scala-3
Updated zio-petclinic example app to use Scala 3
abelgor/zio-petclinic-scala-3’s past year of commit activity - glicol Public Forked from DrRuisseau/glicol
Graph-oriented live coding language and music DSP library written in Rust
abelgor/glicol’s past year of commit activity - Seminar-Bisimulation-and-Coinduction Public Forked from wkolowski/Seminar-Bisimulation-and-Coinduction
Code and slides for my talk presented at the seminar.
abelgor/Seminar-Bisimulation-and-Coinduction’s past year of commit activity - CT_from_Programmers.scala-1 Public Forked from typelevel/CT_from_Programmers.scala
Scala sample code for Bartosz Milewski's CT for Programmers
abelgor/CT_from_Programmers.scala-1’s past year of commit activity - Freasy-Monad Public Forked from Thangiee/Freasy-Monad
Easy way to create Free Monad using Scala macros with first-class Intellij support.
abelgor/Freasy-Monad’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…