Popular repositories Loading

1. curios curios Public

   Work-in-progress functional dependently typed programming language

   Haskell 29

2. enumify enumify Public

   A Rust macro that declares an `enum` (and a bunch of `impl From`s) based on a set of types

   Rust 2

3. stlc stlc Public

   Experiments on type inference through unification based on the simply typed lambda calculus

   Haskell

4. ulc ulc Public

   Experiments on normalization by evaluation based on the untyped lambda calculus

   Scala

5. js-ring-queue-benchmarks js-ring-queue-benchmarks Public

   Performance tests involving different implementations of the ring queue data structure

   TypeScript