Pinned Loading

1. PlayOnRegex PlayOnRegex Public

   HOL course project

   Standard ML

2. FAAS FAAS Public

   Functions as a service platform

   Shell

3. kth-on-rpi2 kth-on-rpi2 Public

   Forked from guancio/kth-on-rpi2

   I contributed by implementing multicore support

   C

4. Punkt0-Compiler Punkt0-Compiler Public

   Compiles Punkt0 (a subset of scala) to bytecode runable in the JVM.

   Scala 1

5. awesome-theorem-proving awesome-theorem-proving Public

   Rerousces and cool papers on theorem proving, formal varification, and logic