Pinned Loading

1. smtcoq smtcoq Public

   Forked from smtcoq/smtcoq

   Practical part of my master thesis: Communication between Coq and SAT/SMT solvers. Located in src/smtinterpol

   Coq 2

2. hgrep-smallcore hgrep-smallcore Public

   University project: Haskell implementation of https://www.ccs.neu.edu/home/turon/re-deriv.pdf, with a very small internal regex representation.

   Haskell 1

3. choice-of-bounds choice-of-bounds Public

   Forked from proglang/choice-of-bounds

   University project: Implementing a metatheory for choice-of-bounds types

   Racket

4. JavaToMIPS_Testcases JavaToMIPS_Testcases Public

   Testcases for compiler construction classes based on "Modern Compiler Implementation in Java" by Andrew Appel and Jens Palsberg.

   Java 1

5. contact-tracing-storage-simulator contact-tracing-storage-simulator Public

   A simple simulator to explore the idea of using two or more cuckoo filters instead of a single filter for the corona-contact-tracing protocoll DP-3T.

   Python