Stephen Dolan

icon indicating a website link stedolan.net icon indicating an email [email protected]

Results 17 repositories owned by Stephen Dolan

bf.sed

155
Stars
7
Forks
Watchers

A brainfuck compiler, written in sed

verified publisher icon stedolan

caml-oxide

65
Stars
3
Forks
Watchers

safe FFI between OCaml and Rust (experimental)

verified publisher icon stedolan

counterexamples

335
Stars
22
Forks
Watchers

Counterexamples in Type Systems

verified publisher icon stedolan

crowbar

180
Stars
31
Forks
Watchers

Property fuzzing for OCaml

verified publisher icon stedolan

git-ls

36
Stars
5
Forks
Watchers

List files, annotated by git status

verified publisher icon stedolan

hax

23
Stars
7
Forks
Watchers

Random scripts, snippets of code, whatever.

verified publisher icon stedolan

idris-malfunction

82
Stars
6
Forks
Watchers

Experimental Malfunction backend for Idris

verified publisher icon stedolan

malfunction

320
Stars
20
Forks
Watchers

Malfunctional Programming

verified publisher icon stedolan

minhttp

51
Stars
5
Forks
Watchers

A tiny and surprisingly featureful webserver

verified publisher icon stedolan

mlsub

183
Stars
19
Forks
Watchers

Prototype type inference engine

verified publisher icon stedolan