Pinned Repositories
advent-of-code-2021-haskell
Haskell Solutions for Advent of Code 2021 - https://adventofcode.com/
amulet
An ML-like functional programming language
choice-of-bounds
University project: Implementing a metatheory for choice-of-bounds types
contact-tracing-storage-simulator
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.
dan-blank.github.io
deprank
Use PageRank to find the most important files in your codebase.
hgrep-smallcore
University project: Haskell implementation of https://www.ccs.neu.edu/home/turon/re-deriv.pdf, with a very small internal regex representation.
JavaToMIPS_Testcases
Testcases for compiler construction classes based on "Modern Compiler Implementation in Java" by Andrew Appel and Jens Palsberg.
jhc
Jhc: Haskell Compiler
smtcoq
Practical part of my master thesis: Communication between Coq and SAT/SMT solvers. Located in src/smtinterpol
dan-blank's Repositories
dan-blank/hgrep-smallcore
University project: Haskell implementation of https://www.ccs.neu.edu/home/turon/re-deriv.pdf, with a very small internal regex representation.
dan-blank/JavaToMIPS_Testcases
Testcases for compiler construction classes based on "Modern Compiler Implementation in Java" by Andrew Appel and Jens Palsberg.
dan-blank/advent-of-code-2021-haskell
Haskell Solutions for Advent of Code 2021 - https://adventofcode.com/
dan-blank/amulet
An ML-like functional programming language
dan-blank/choice-of-bounds
University project: Implementing a metatheory for choice-of-bounds types
dan-blank/contact-tracing-storage-simulator
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.
dan-blank/dan-blank.github.io
dan-blank/deprank
Use PageRank to find the most important files in your codebase.
dan-blank/jhc
Jhc: Haskell Compiler
dan-blank/ob-racket
Driver to run Racket code blocks in Org mode
dan-blank/org-thesis
Writing a Ph.D. thesis with Org Mode
dan-blank/smtcoq
Practical part of my master thesis: Communication between Coq and SAT/SMT solvers. Located in src/smtinterpol
dan-blank/Stockfish-Java
An asynchronous java wrapper for the popular uci chess engine Stockfish 10
dan-blank/sevenz-rust
A 7z decompressor/compressor lib written in pure rust
dan-blank/yogar-cbmc
dan-blank/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.