Matthew Maurer (@maurer)
github

maurer

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    173
  • Global Rank 137,980 (Top 5 %)
  • Followers 105
  • Following 13
  • Registered about 15 years ago
  • Most used languages
    Haskell
         43.5 %
    Rust
         21.7 %
    TeX
         8.7 %
    C
         4.3 %
    Agda     4.3 %
    Shell
         4.3 %
    OCaml
         4.3 %
    Standard ML     4.3 %
    Nix
         4.3 %

Top repositories

1

symfuzz

OCaml
61
star
2

holmes

Datalog engine with extensions for integrating analyses
Rust
38
star
3

bap-rust

Rust
13
star
4

c-storable-deriving

Derivation of C-like Storable Instances
Haskell
12
star
5

mycroft

Rust
6
star
6

15-411-Haskell-Base-Code

Haskell Basecode for the 411 Compiler Project
Haskell
4
star
7

executable

A Haskell Library for Binary Analysis
Haskell
4
star
8

ptrace

Haskell PTrace Bindings
Haskell
4
star
9

tachyon

Record/Replay for syscall streams
Haskell
3
star
10

hott-notes

15-819 (Homotopy Type Theory) Lecture Notes
TeX
3
star
11

r5d4

An asynchronous connection pool for rust, heavily modeled off r2d2
Rust
2
star
12

thesis

TeX
2
star
13

marduk

2
star
14

bap-callstrings

Standard ML
2
star
15

yggdrasil

Haskell
2
star
16

bcc

Haskell
2
star
17

tyr

Agda
1
star
18

tiamat

Modules for doing binary analysis with holmes
1
star
19

hseve

Haskell bindings for the EVE API
Haskell
1
star
20

nixlocal

Local set of Nix packages/configuration not suitable for upstream
Nix
1
star
21

trace

Platform Independent Tracing for Haskell
Haskell
1
star
22

advent-of-code

Rust
1
star
23

portage

My personal portage overlay
Shell
1
star
24

bil

Haskell parser for BIL
Haskell
1
star
25

libbap

C Bindings for BAP
C
1
star