small gleam coding and persistent agent daemon with a detachable cli and a canvas ui

small gleam coding and persistent agent daemon with a detachable cli and a canvas ui

A gleamy lustre wrapper over the scritto js library (scrit.to)

small gleam coding and persistent agent daemon with a detachable cli and a canvas ui

extra crunchy ;)

forked from gbury/dolmen

forked from coq/coq

tex math to mathml core converter

JUnit XML test reports, read and written through nox-xml codecs

SMT x86_64 TSO model checking and minimum fence synthesis

OCaml tooling for tracing Xen guest address translation

seL4 pager with proven memory isolation and frame reuse

nix // yocaml

An experimental authentication library to support oauth2, oidc, saml for hcs servers

A foundation for web applications written in OCaml. FYI mostly written by AI.

Signal numbers as the operating system numbers them