Rohan Jacob-Rao rohanjr

• San Francisco, USA
• 13:52 (UTC -07:00)

Popular repositories Loading

1. cps cps Public

   CPS translation and optimizations for simple lambda calculus

   OCaml 1

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

   TypeScript 1 1

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

   Coq

5. Functional trie implementations (mutable and immutable)

   OCaml

6. Solutions to problems from Facebook Hacker Cup 2017 Qualification Round

   OCaml