Pinned Loading

1. pandas-type-checks pandas-type-checks Public

   Structural type checking for Pandas data frames.

   Python 1

2. simple-language simple-language Public

   A front-end for a simple, statically-typed, purely functional programming language.

   Scala 4 3

3. fresh-scala fresh-scala Public

   Define object-level syntax modulo alpha-equivalence in Scala.

   Scala

4. deriving-type-checkers deriving-type-checkers Public

   A Haskell library for deriving type checkers from constraint-based formalizations of type systems.

   Haskell

5. typechecklib typechecklib Public

   A Scala type checker library

   Scala

6. typecheckviz typecheckviz Public

   Visualize the different phases of type checkers defined with the type checker library.

   Scala