Ocaml Python Packages

pyre-check

Performant type-checking for python.

nanobook

Rust execution layer for Python trading strategies: deterministic LOB, portfolio backtests, pre-trade risk, and IBKR rebalancing.

pyre-check-nightly

Performant type-checking for python.

tree-sitter-ocaml

OCaml grammar for tree-sitter

kappy

Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

libdash

The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for Python and OCaml, and tools for generating JSON representations of shell scripts.

facile

Python constraint programming library

callosum-dsl

A language for defining AI personalities.