Discover @stedolan Open Source projects

Stephen Dolan (@stedolan)

stedolan

Stars
1,723
Global Rank 17,942 (Top 0.7 %)
Followers 1,080
Following 13
Registered over 15 years ago
Most used languages

OCaml
25.8 %

C
22.6 %

Python
22.6 %

C++
9.7 %

Haskell
6.5 %

JavaScript
3.2 %

Rust
3.2 %

Coq 3.2 %

Java
3.2 %

jq

Command-line JSON processor

malfunction

Malfunctional Programming

counterexamples

Counterexamples in Type Systems

mlsub

Prototype type inference engine

crowbar

Property fuzzing for OCaml

bf.sed

A brainfuck compiler, written in sed

ppx_stage

Staged metaprogramming in stock OCaml

idris-malfunction

Experimental Malfunction backend for Idris

caml-oxide

safe FFI between OCaml and Rust (experimental)

minhttp

A tiny and surprisingly featureful webserver

git-ls

List files, annotated by git status

pathfinder

pythonic filesystem library

hax

Random scripts, snippets of code, whatever.

libfib

A library for high-performance lightweight threads

llvm

Context switching for LLVM

linkage

easy-to-use wrapper for OCaml's Dynlink

ocaml-afl-persistent

persistent-mode afl-fuzz for ocaml

Sandbox

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

bzseek

Random access library for bzip2 files

cshore

Call C from Python without writing bindings

moria

Embedded language for construction of DWARF

with-gdb

Attaches gdb to crashed processes

nd

Netsoc LDAP directory

fyp

Final year project

wikiflow

random walks through human knowledge

python-monkeypatch

Bringing Ruby best practices to Python

Altitude

Debugging above C level

clang

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

sequent-subtyping

irclinks

IRC network visualisation

seqbuf

Sequential buffer access

bandgraph

Scale-space visualisation of time-series data

sneeky

Steganography through bad spelling