Pinned Loading

1. CompilerAlan CompilerAlan Public

   ML code that implements a compiler for a small procedural language with references named Alan. This was the main project fora compilers class I took in my undergraduate studies.

   OCaml

2. CompilerTypeScript CompilerTypeScript Public

   Code for a a compiler of a subset of TypeScript for NYU compilers class. The code used the meta compiler construction tool HACS. Due to a bug ithat was found in HACS during the projects certain par…

   Haxe

3. DijkstraInDafny DijkstraInDafny Public

   A proof checked implementation of Dijkstra's Algorithm in the Dafny Programming Language

   4 2

4. StableHashing StableHashing Public

   A modular implementation of stable hashing using Javascript

   JavaScript