Starred repositories
83
results
for source starred repositories
written in OCaml
Clear filter
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
FUSE filesystem over Google Drive
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
A language that compiles to Bash and Windows Batch
Irmin is a distributed database that follows the same design principles as Git
Context sensitive completion for OCaml in Vim and Emacs
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Jane Street Capital's standard library overlay
Terrateam is open-source GitOps infrastructure orchestration. It integrates with GitHub to automate Terraform, OpenTofu, CDKTF, Terragrunt, and Pulumi workflows through pull requests.
A toolkit for embedding VPN capabilities in your application
Parser combinators built for speed and memory efficiency
A language server for reason, in reason
A high performance, memory efficient, and scalable web server written in OCaml
Batteries Included project
moved from https://sourceforge.net/p/min-caml/code/
A library for building dynamic webapps, using Js_of_ocaml.