Pinned Repositories
babiseat
add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
deque
Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
gamelle
2d game engine for OCaml
mcavl
Lock-free Sets and Maps for OCaml multicore
ocaml-webdriver
Web browser remote control
sherlocode
Realtime grep for OCaml/Coq sources available on opam
sherlodoc
Fuzzy type search for OCaml documentation
unicorn
Purely functional GUI algebra
varray
Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
notafs
Not a filesystem for Mirage block devices
art-w's Repositories
art-w/unicorn
Purely functional GUI algebra
art-w/mcavl
Lock-free Sets and Maps for OCaml multicore
art-w/ocaml-webdriver
Web browser remote control
art-w/ppx_shared
Interleaved client/server code extraction
art-w/rmq
Range Minimum Query algorithms
art-w/awa-ssh
Purely functional SSH library in ocaml.
art-w/cb-dev-test
art-w/crowbar
Property fuzzing for OCaml
art-w/current-bench
Experimental benchmarking infrastructure using OCurrent pipelines
art-w/current_incr
Self-adjusting computations
art-w/domainslib
Parallel Programming over Domains
art-w/dscheck
art-w/dune
A composable build system for OCaml.
art-w/lockfree
Lock-free data structures for multicore OCaml
art-w/marracheck
Gotta check them all!
art-w/merlin
Context sensitive completion for OCaml in Vim and Emacs
art-w/multicoretests
PBT testsuite and libraries for testing multicore OCaml
art-w/obuilder
Experimental "docker build" alternative using btrfs/zfs snapshots
art-w/ocaml
The core OCaml system: compilers, runtime system, base libraries
art-w/ocluster
Distribute CI builds to worker nodes over Cap'n Proto
art-w/ocurrent
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
art-w/opam-repo-ci
An OCurrent pipeline for testing submissions to opam-repository
art-w/ortac
Runtime assertion checking based on Gospel specifications
art-w/Paradict
art-w/vg
Declarative 2D vector graphics for OCaml