Matthew Maurer Matthew Maurer

Tracking 819 commits to 54 open source packages



Repositories

maurer/c-storable-deriving
Derivation of C-like Storable Instances
Haskell - BSD-3-Clause - Last pushed - 9 stars - 4 forks
maurer/executable
A Haskell Library for Binary Analysis
Haskell - BSD-3-Clause - Last pushed - 4 stars - 1 forks
maurer/symfuzz
OCaml - Last pushed - 56 stars - 24 forks
maurer/bap-rust
Rust - Last pushed - 6 stars
maurer/tiamat
Modules for doing binary analysis with holmes
Rust - MIT - Last pushed - 1 stars
maurer/ptrace
Haskell PTrace Bindings
Haskell - BSD-3-Clause - Last pushed - 3 stars - 1 forks
See all Matthew Maurer's repositories

Repositories Contributed To

grahamc/notpkgs
lol
Nix - MIT - Last pushed - 0 stars
argp/bap
Binary Analysis Platform -- I will try to keep this updated with patches, fixes, etc.
OCaml - Other - Last pushed - 30 stars - 3 forks
0day1day/bap
Binary Analysis Platform
OCaml - Other - Updated - 67 stars - 27 forks
RobertHarper/hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
TeX - Last pushed - 119 stars - 23 forks
Azulinho/mynixpkgs
My own fork of nixpkgs
Nix - Last pushed - 0 stars
nixbot/nixpkgs-sandbox
Nix - Other - Last pushed - 1 stars - 1 forks
See all Matthew Maurer's contributions

Published Packages

c-storable-deriving
Automatically generates struct-rule based Storable instances based on the Generic typeclass.
Latest release 0.1.3 - Updated - 9 stars
mycroft-macros
Macro interface to the Mycroft compiler
Latest release 0.0.1 - Published
mycroft-macros-impl
Macro implementations for Mycroft (separated due to proc-macro-hack)
Latest release 0.0.1 - Published
mycroft-support
Runtime support for Mycroft generated code
Latest release 0.0.1 - Published
mycroft
Datalog-inspired programming language with circumscriptive negation and functions
Latest release 0.0.1 - Published
bap-sys
Rust bindings to BAP
Latest release 0.1.0 - Published - 6 stars
See all Matthew Maurer's packages

Most Used Packages

mktemp
mktemp files and directories
Latest release 0.4.0 - Updated - 3 stars
syn
Parser for Rust source code
Latest release 1.0.3 - Updated - 648 stars
futures
An implementation of futures and streams featuring zero allocations, composability, and iterator-...
Latest release 0.2.3-docs-yank.4 - Updated - 2.76K stars
quote
Quasi-quoting macro quote!(...)
Latest release 1.0.2 - Updated - 293 stars
tokio-core
Core I/O and event loop primitives for asynchronous I/O in Rust. Foundation for the rest of the t...
Latest release 0.1.17 - Updated - 572 stars
combine
Fast parser combinators on arbitrary streams with zero-copy support.
Latest release 4.0.0-alpha.1 - Updated - 641 stars
See all Matthew Maurer's most used packages

Last synced: 2016-12-17 09:24:52 UTC

Login to resync this page