stedolan

Pinned Repositories

bf.sed
A brainfuck compiler, written in sed
157 8 25
caml-oxide
safe FFI between OCaml and Rust (experimental)
Language:Rust66 12 23
counterexamples
Counterexamples in Type Systems
Language:JavaScript394 17 1224
crowbar
Property fuzzing for OCaml
Language:OCaml188 18 2227
git-ls
List files, annotated by git status
Language:Python37 4 25
idris-malfunction
Experimental Malfunction backend for Idris
Language:Haskell81 14 36
malfunction
Malfunctional Programming
Language:OCaml346 25 3220
minhttp
A tiny and surprisingly featureful webserver
Language:C50 5 25
mlsub
Prototype type inference engine
Language:OCaml201 24 1219
ppx_stage
Staged metaprogramming in stock OCaml
Language:OCaml151 21 98

stedolan's Repositories

stedolan/counterexamples
Counterexamples in Type Systems
Language:JavaScript394 17 1224
stedolan/malfunction
Malfunctional Programming
Language:OCaml346 25 3220
stedolan/mlsub
Prototype type inference engine
Language:OCaml201 24 1219
stedolan/crowbar
Property fuzzing for OCaml
Language:OCaml188 18 2227
stedolan/ppx_stage
Staged metaprogramming in stock OCaml
Language:OCaml151 21 98
stedolan/idris-malfunction
Experimental Malfunction backend for Idris
Language:Haskell81 14 36
stedolan/caml-oxide
safe FFI between OCaml and Rust (experimental)
Language:Rust66 12 23
stedolan/git-ls
List files, annotated by git status
Language:Python37 4 25
stedolan/ocaml
some hacks
Language:OCaml26 13 01
stedolan/ocaml-afl-persistent
persistent-mode afl-fuzz for ocaml
Language:OCaml17 7 78
stedolan/moria
Embedded language for construction of DWARF
Language:OCaml8 6 0
stedolan/seqbuf
Sequential buffer access
Language:OCaml3 5 01
stedolan/sequent-subtyping
Language:Coq3 4 0
stedolan/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:Shell2 3 0
stedolan/bisect_ppx
Code coverage for OCaml and ReScript
Language:OCaml1 2 0
stedolan/cpython
The Python programming language
Language:Python1 2 01
stedolan/dune
A composable build system for OCaml
Language:OCaml1 3 0
stedolan/flambda-backend
The Flambda backend project for OCaml
Language:OCaml1 2 0
stedolan/lwt
OCaml promises and concurrent I/O.
Language:OCaml1 3 0
stedolan/mirage-tcpip
TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes Ethernet, ARP, IPv4/6, ICMP, and UDP/TCP support.
Language:OCaml1 3 0
stedolan/ocaml-jst
OCaml plus Jane Street extensions
Language:OCaml1 1 0
stedolan/somerandompacket
Language:OCaml1 2 0
stedolan/cofe-fixpoints
Language:Coq2 0
stedolan/ocaml-memory-model
Language:Shell2 0
stedolan/ocaml-multicore
Multicore OCaml
Language:OCaml2 0
stedolan/ocaml-RFCs
Design discussions about the OCaml language
1 0
stedolan/ocamlfind
The OCaml findlib library manager
Language:OCaml0 0
stedolan/sail
Sail architecture definition language
Language:Standard ML2 0
stedolan/sandmark
A benchmark suite for the OCaml compiler
Language:Jupyter Notebook2 0
stedolan/stedolan.github.io
https://github.com/jqlang/jq/issues/4#issuecomment-1563771678
Language:HTML1 01