Repository Index

61,275 visible repositories in the index

Filters (1)

Apply

Filters

Primary language

License

Total stars

Last push

Created

Health fact definitions

Archived

1–5 of 5 · Most stars

inhabitedtype / angstrom

OCaml 708 74

Parser combinators built for speed and memory efficiency

OCaml 539 43

A high performance, memory efficient, and scalable web server written in OCaml

OCaml 249 38

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

OCaml 69 25

The transitory OCaml software packager

OCaml 46 24

Pure OCaml implementation of the "vchan" shared-memory communication protocol