Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Repository Index
47,133 repositories indexed
1–24 of 90 · Most stars
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
Native, lightweight modal code editor
Klipse is a JavaScript plugin for embedding interactive code snippets in tech blogs.
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
MirageOS is a library operating system that constructs unikernels
Binary Analysis Platform
Irmin is a distributed database that follows the same design principles as Git
A composable build system for OCaml.
Context sensitive completion for OCaml in Vim and Emacs
Terraform without the state file bottleneck
An OCaml library for HTTP clients and servers using Lwt or Async
Effects-based direct-style IO for multicore OCaml
Auto-formatter for OCaml code
Parser combinators built for speed and memory efficiency
GraphQL servers in OCaml
TEA for Bucklescript
A high performance, memory efficient, and scalable web server written in OCaml
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
A lightweight and colourful test framework
OCaml bindings for PyTorch
Functional HTML scraping and rewriting with CSS in OCaml
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
QuickCheck inspired property-based testing for OCaml.