Search Packages

pyre-check

Performant type-checking for python.

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.