maurer/ouroboros
Public repository.
Developer Profile
maurer
Discovered public repositories for maurer in the GitHub catalog.
maurer/yggdrasil
Public repository.
maurer/elf
Haskell library for parsing ELF object files
maurer/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
maurer/portage
My personal portage overlay
maurer/bil
Haskell parser for BIL
maurer/hseve
Haskell bindings for the EVE API
maurer/ollibot
An implementation of substructural intuitionistic logic focused on forward chaining
maurer/executable
A Haskell Library for Binary Analysis
maurer/linux
Linux kernel source tree
maurer/tachyon
Record/Replay for syscall streams
maurer/trace
Platform Independent Tracing for Haskell
maurer/ptrace
Haskell PTrace Bindings
maurer/15-411-Haskell-Base-Code
Haskell Basecode for the 411 Compiler Project
maurer/c-storable-deriving
Derivation of C-like Storable Instances