Daniel Matichuk's repositories
binary-analysis
meta-project for binary analysis submodules
crucible
Crucible is a library for symbolic simulation of imperative programs
daedalus
The Daedalus data description language
dafny
Dafny is a verification-aware programming language
dismantle
A library of assemblers and disassemblers derived from LLVM TableGen data
fast-tags
Incremental vi and emacs tags for haskell.
haskqual
Tools for cross-reference lookup in haskell projects using fully qualified identifiers
MogaSerial
Mode A serial driver interface for Moga bluetooth controllers on Windows.
pandoc-eqnos
A pandoc filter for numbering equations and equation references.
parameterized-utils
A set of utilities for using indexed types including containers, equality, and comparison.
semmc-1
Stratified synthesis for learning machine code instruction semantics
socket-avalon
Avalon helper app using socket.io
what4-serialize
(WIP) serialization/deserialization for What4 expressions