• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Python
  • Created over 12 years ago
  • Updated over 12 years ago

Reviews

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

Repository Details

Bringing Ruby best practices to Python

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

with-gdb

Attaches gdb to crashed processes
C
7
star
23

nd

Netsoc LDAP directory
Python
6
star
24

fyp

Final year project
Haskell
5
star
25

wikiflow

random walks through human knowledge
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