maurer/executable maurer/executable

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 12 years ago
  • Updated about 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
maurer/executable
github

maurer

Reviews

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

Repository Details

A Haskell Library for Binary Analysis

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

ptrace

Haskell PTrace Bindings
Haskell
4
star
8

tachyon

Record/Replay for syscall streams
Haskell
3
star
9

hott-notes

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

r5d4

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

thesis

TeX
2
star
12

marduk

2
star
13

bap-callstrings

Standard ML
2
star
14

yggdrasil

Haskell
2
star
15

bcc

Haskell
2
star
16

tyr

Agda
1
star
17

tiamat

Modules for doing binary analysis with holmes
1
star
18

hseve

Haskell bindings for the EVE API
Haskell
1
star
19

nixlocal

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

trace

Platform Independent Tracing for Haskell
Haskell
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