Pinned Repositories
15-411-Haskell-Base-Code
Haskell Basecode for the 411 Compiler Project
bap-rust
c-storable-deriving
Derivation of C-like Storable Instances
executable
A Haskell Library for Binary Analysis
holmes
Datalog engine with extensions for integrating analyses
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
mycroft
ptrace
Haskell PTrace Bindings
symfuzz
tachyon
Record/Replay for syscall streams
maurer's Repositories
maurer/symfuzz
maurer/ptrace
Haskell PTrace Bindings
maurer/tachyon
Record/Replay for syscall streams
maurer/bap-callstrings
maurer/yggdrasil
maurer/libbil
libBIL: an intermediate language for binary derived from BAP
maurer/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
maurer/portage
My personal portage overlay
maurer/trace
Platform Independent Tracing for Haskell
maurer/bap-docker
Docker build of bap
maurer/bap_k_exec
maurer/capnp-ocaml
OCaml code generator plugin for the Cap'n Proto serialization framework
maurer/capnp-rpc-ocaml
Cap'n Proto RPC support for OCaml
maurer/compiler
The compiler for the Moroso project.
maurer/hydra-server
Nixops configuration for deploying a NixOS hydra server, not tailored for public use
maurer/janest
Jane Street Core, packaged for debian
maurer/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
maurer/log
Logging implementation for Rust
maurer/oasis
Cabal like system for OCaml
maurer/ofuzz
Fuzzing framework written in OCaml
maurer/piqi
Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion
maurer/piqi-ocaml
Protocol Buffers, JSON, XML data serialization system for OCaml
maurer/random_programs
Use Nix + CSmith to generate random built binaries on different toolchains for testing binary analysis
maurer/razdura
maurer/rust-clippy
A bunch of lints to help avoid newbie pitfalls.
maurer/rust-postgres
Native PostgreSQL driver for the Rust programming language
maurer/rustc-serialize
Serialization/deserialization for Rust
maurer/spec
Staging ground for artifacts related to an MVP spec
maurer/uuid
Generate and parse UUIDs.
maurer/weechat-server