Pinned Loading
-
smtcoq
smtcoq PublicForked from smtcoq/smtcoq
Practical part of my master thesis: Communication between Coq and SAT/SMT solvers. Located in src/smtinterpol
Coq 2
-
hgrep-smallcore
hgrep-smallcore PublicUniversity project: Haskell implementation of https://www.ccs.neu.edu/home/turon/re-deriv.pdf, with a very small internal regex representation.
Haskell 1
-
choice-of-bounds
choice-of-bounds PublicForked from proglang/choice-of-bounds
University project: Implementing a metatheory for choice-of-bounds types
Racket
-
JavaToMIPS_Testcases
JavaToMIPS_Testcases PublicTestcases for compiler construction classes based on "Modern Compiler Implementation in Java" by Andrew Appel and Jens Palsberg.
Java 1
-
contact-tracing-storage-simulator
contact-tracing-storage-simulator PublicA 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
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.