Pinned Repositories
deriving-type-checkers
A Haskell library for deriving type checkers from constraint-based formalizations of type systems.
fresh-scala
Define object-level syntax modulo alpha-equivalence in Scala.
jenkins-library
Jenkins shared library for Continuous Delivery pipelines.
pandas-type-checks
Structural type checking for Pandas data frames.
projen
A new generation of project generators
quarkus
Quarkus: Supersonic Subatomic Java.
scala-unify
Generic unification of first-order terms.
simple-language
A front-end for a simple, statically-typed, purely functional programming language.
typechecklib
A Scala type checker library
typecheckviz
Visualize the different phases of type checkers defined with the type checker library.
mzuber's Repositories
mzuber/simple-language
A front-end for a simple, statically-typed, purely functional programming language.
mzuber/pandas-type-checks
Structural type checking for Pandas data frames.
mzuber/deriving-type-checkers
A Haskell library for deriving type checkers from constraint-based formalizations of type systems.
mzuber/fresh-scala
Define object-level syntax modulo alpha-equivalence in Scala.
mzuber/jenkins-library
Jenkins shared library for Continuous Delivery pipelines.
mzuber/projen
A new generation of project generators
mzuber/quarkus
Quarkus: Supersonic Subatomic Java.
mzuber/scala-unify
Generic unification of first-order terms.
mzuber/typechecklib
A Scala type checker library
mzuber/typecheckviz
Visualize the different phases of type checkers defined with the type checker library.