Skip to content
View dan-blank's full-sized avatar

Block or report dan-blank

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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