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