Popular repositories Loading

1. cps cps Public

   CPS translation and optimizations for simple lambda calculus

   OCaml 1

2. create-daml-app create-daml-app Public template

   A template to get started with developing full-stack DAML applications

   TypeScript 1 1

3. insort insort Public

   Forked from fferreira/insort

   Agda

4. mendler-recursion mendler-recursion Public

   Proof of normalization for a simply-typed lambda calculus with Mendler-style recursion.

   Coq

5. tries tries Public

   Functional trie implementations (mutable and immutable)

   OCaml

6. fb-hackercup-2017 fb-hackercup-2017 Public

   Solutions to problems from Facebook Hacker Cup 2017 Qualification Round

   OCaml