Pinned Repositories
Beluga
Contextual types meet mechanized metatheory!
DataflowDSL
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 University
distributed
ditto
A Super Kawaii Programming Language with Dependent Types!
JustUO
An Ultima Online emulator sponsored by PlayUO.org -
runuo
RunUO
simc
Simulationcraft engine/GUI
Temrael
Repository servant à la coordination des scripts du serveur Ultima Online Temrael
opam-repository
Main public package repository for opam, the source package manager of OCaml.
orca
Type theory + whales and syntax
davidthibodeau's Repositories
davidthibodeau/Temrael
Repository servant à la coordination des scripts du serveur Ultima Online Temrael
davidthibodeau/DataflowDSL
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 University
davidthibodeau/distributed
davidthibodeau/ditto
A Super Kawaii Programming Language with Dependent Types!
davidthibodeau/JustUO
An Ultima Online emulator sponsored by PlayUO.org -
davidthibodeau/runuo
RunUO
davidthibodeau/simc
Simulationcraft engine/GUI