Popular repositories Loading

1. HCL HCL Public

   The HCL compiler, a compiler for Dijkstra's guarded command language (GCL), based on Hoare, Dijkstra, Gries and Dahl ideas.

   Python 5 2

2. PLT-canvas PLT-canvas Public

   Computer exploration of different PLT/Compiler concepts

   Java

3. ola ola Public

   Concurrent multi-paradigm Lisp-like language based on BEAM VM

4. creeping creeping Public

   A short and sweet programming language to explore gradual typing concepts

   F#

5. workbook workbook Public

   Exercises and assignments from PLT related books

   F#