Forgejo: Beyond coding. We Forge.

simon/ linol

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

lsp ocaml

Updated 2025-12-01 17:21:55 -05:00

simon/ ocaml-containers

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 2025-11-25 20:38:19 -05:00

simon/ moonpool

Commodity thread pools and concurrency primitives for OCaml 5

domains futures multicore ocaml ocaml5 thread-pool work-stealing

Updated 2025-11-19 12:28:09 -05:00

simon/ nanoev

nano IO event loop

async ocaml poll select

Updated 2025-09-29 11:20:43 -04:00

simon/ tiny_httpd

Minimal HTTP server using good old threads + blocking IO, with a small request router.

http httpd ocaml simplehttpserver threads tiny

Updated 2025-07-28 14:33:43 -04:00

simon/ ezcurl

A simple wrapper around OCurl.

curl easy http http-get-it-while-it-s-hot lwt ocaml ocurl

Updated 2025-05-18 01:00:41 -04:00

simon/ iter

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

simon/ sidekick

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 2025-01-27 21:52:00 -05:00