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/deque
Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)
art-w/sherlocode
Realtime grep for OCaml/Coq sources available on opam
art-w/sherlodoc
Fuzzy type search for OCaml documentation
art-w/gamelle
2d game engine for OCaml
art-w/varray
Resizable arrays with O(ᵏ√N) insertion and deletion (Tiered Vectors)
art-w/babiseat
add/remove for AVL, red-black, 2-3, 2-3-4 trees using GADTs
art-w/prettree
Pretty tree layout with an applicative functor
art-w/granular_marshal
art-w/progress
Progress bar library for OCaml
art-w/so_perform_segfault
art-w/art-w.github.io
art-w/bisect_ppx
Code coverage for OCaml and ReScript
art-w/ca-certs
Detect root CA certificates from the operating system
art-w/eio
Effects-based direct-style IO for multicore OCaml
art-w/eio-rpc
A collection of opinionated libraries designed to build RPC clients and servers with eio
art-w/index
A platform-agnostic multi-level index
art-w/inputs-outputs-R14C
test fork
art-w/irmin
Irmin is a distributed database that follows the same design principles as Git
art-w/irmin-watcher
Portable implementation of the Irmin Watch API
art-w/irmin.org
Irmin website
art-w/ocaml-ci
A CI for OCaml projects
art-w/ocaml-cohttp
An OCaml library for HTTP clients and servers using Lwt or Async
art-w/ocaml-compiler-libs
compiler libraries repackaged
art-w/ocaml-conduit
Dereference URIs into communication channels for Async or Lwt
art-w/ocaml-graphql-server
GraphQL servers in OCaml
art-w/ocaml-tls
TLS in pure OCaml
art-w/ocaml-x509
X509 (RFC5280) handling in OCaml
art-w/opam-repository
Main public package repository for opam, the source package manager of OCaml.
art-w/Tetris
Do I need to describe what Tetris is?
art-w/tezos
Mirror of the release branches for Tezos, a self-amending cryptographic ledger