• Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    C
  • Created about 8 years ago
  • Updated almost 2 years ago

Reviews

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

Repository Details

Attaches gdb to crashed processes

More Repositories

1

jq

Command-line JSON processor
C
21,280
star
2

malfunction

Malfunctional Programming
OCaml
318
star
3

counterexamples

Counterexamples in Type Systems
JavaScript
281
star
4

mlsub

Prototype type inference engine
OCaml
181
star
5

crowbar

Property fuzzing for OCaml
OCaml
174
star
6

bf.sed

A brainfuck compiler, written in sed
154
star
7

ppx_stage

Staged metaprogramming in stock OCaml
OCaml
142
star
8

idris-malfunction

Experimental Malfunction backend for Idris
Haskell
82
star
9

caml-oxide

safe FFI between OCaml and Rust (experimental)
Rust
64
star
10

minhttp

A tiny and surprisingly featureful webserver
C
49
star
11

git-ls

List files, annotated by git status
Python
36
star
12

pathfinder

pythonic filesystem library
Python
35
star
13

hax

Random scripts, snippets of code, whatever.
Java
23
star
14

libfib

A library for high-performance lightweight threads
C++
19
star
15

llvm

Context switching for LLVM
C++
15
star
16

linkage

easy-to-use wrapper for OCaml's Dynlink
OCaml
15
star
17

ocaml-afl-persistent

persistent-mode afl-fuzz for ocaml
OCaml
14
star
18

Sandbox

Sandbox for running native code under Linux at full speed, without allowing it to do anything other than read/write stdio
C
12
star
19

bzseek

Random access library for bzip2 files
C
8
star
20

cshore

Call C from Python without writing bindings
C
8
star
21

moria

Embedded language for construction of DWARF
OCaml
7
star
22

nd

Netsoc LDAP directory
Python
6
star
23

fyp

Final year project
Haskell
5
star
24

wikiflow

random walks through human knowledge
5
star
25

python-monkeypatch

Bringing Ruby best practices to Python
Python
5
star
26

Altitude

Debugging above C level
C
4
star
27

clang

Clang C/C++ compiler, with patches to support context-switching
C++
4
star
28

sequent-subtyping

Coq
3
star
29

irclinks

IRC network visualisation
Python
3
star
30

seqbuf

Sequential buffer access
OCaml
3
star
31

bandgraph

Scale-space visualisation of time-series data
Python
2
star
32

sneeky

Steganography through bad spelling
Python
2
star