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