Repositories Users Organizations
Filter
Sort
simon/ sidekick
SMT 0 0
A modular library for CDCL(T) SMT solvers, with [wip] proof generation.
cdcl-t congruence-closure formal-methods functor prover sat-solver smt-solver
Updated 2026-05-04 22:42:55 -04:00
simon/ ocaml-trace
OCaml 0 0
Common interface for tracing/instrumentation libraries in OCaml
catapult ocaml tef tracing tracy
Updated 2026-04-26 21:14:36 -04:00
simon/ ocaml-containers
OCaml 0 0
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
data-structure lightweight modular ocaml permissive-license portable stdlib
Updated 2026-04-24 12:31:42 -04:00
simon/ ocaml-opentelemetry
OCaml 0 0
Instrumentation for https://opentelemetry.io
metrics ocaml opentelemetry traces
Updated 2026-04-23 10:08:53 -04:00
simon/ moonpool
OCaml 0 0
Commodity thread pools and concurrency primitives for OCaml 5
domains futures multicore ocaml ocaml5 thread-pool work-stealing
Updated 2026-04-07 23:03:38 -04:00
simon/ linol
OCaml 0 0
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
lsp ocaml
Updated 2026-04-07 21:14:03 -04:00
simon/ ezcurl
OCaml 0 0
A simple wrapper around OCurl.
curl easy http http-get-it-while-it-s-hot lwt ocaml ocurl
Updated 2026-04-06 15:14:35 -04:00
simon/ tiny_httpd
OCaml 0 0
Minimal HTTP server using good old threads + blocking IO, with a small request router.
http httpd ocaml simplehttpserver threads tiny
Updated 2026-02-15 21:19:22 -05:00
simon/ nanoev
OCaml 0 0
nano IO event loop
async ocaml poll select
Updated 2025-09-29 11:20:43 -04:00
simon/ iter
OCaml 0 0
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
higher-order-functions iter iterators lazy monad ocaml sequence stream
Updated 2025-02-04 23:43:09 -05:00