Matthew Maurer maurer

Popular repositories Loading

2. Datalog engine with extensions for integrating analyses

   Rust 39 4

4. Derivation of C-like Storable Instances

   Haskell 13 3

6. Haskell Basecode for the 411 Compiler Project

   Haskell 5 3