Stars
A modern wrapper around the Schwab financial API for NodeJS Typescript and Javascript projects. Join our Discord: https://discord.gg/Q9z8EnB8xD
Cheatsheet for adding command-line options to an OCaml program using cmdliner
Tracing library for OCaml with catapult/TEF export.
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, cl…