maurer/trace maurer/trace

  • Stars
    star
    1
  • Language
    Haskell
  • Created over 13 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maurer/trace
github

maurer

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Platform Independent Tracing for Haskell

More 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

advent-of-code

Rust
1
star
22

portage

My personal portage overlay
Shell
1
star
23

bil

Haskell parser for BIL
Haskell
1
star
24

libbap

C Bindings for BAP
C
1
star