Pinned Loading

1. Beluga-lang/Beluga Beluga-lang/Beluga Public

   Contextual types meet mechanized metatheory!

   OCaml 184 16

2. Temrael Temrael Public

   Repository servant à la coordination des scripts du serveur Ultima Online Temrael

   C# 3 3

3. orca-lang/orca orca-lang/orca Public

   Type theory + whales and syntax

   OCaml 11

4. DataflowDSL DataflowDSL Public

   Compiler for a DSL to write dataflow analyses for Matlab in McSAF (http://www.sable.mcgill.ca/mclab/projects/mcsaf/). Project done for the class Program Analysis and Transformations from McGill Uni…

   OCaml 1

5. distributed distributed Public

   Java