Repository Index

Unison file synchronizer

Irmin is a distributed database that follows the same design principles as Git

• ocaml
• git
• storage
• mirageos

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

Owl - OCaml Scientific Computing @ https://ocaml.xyz

• matrix
• linear-algebra
• ndarray
• statistical-functions

An OCaml library for HTTP clients and servers using Lwt or Async

• ocaml
• http
• http-client
• lwt

Effects-based direct-style IO for multicore OCaml

• concurrency
• effects
• io
• multicore

Parser combinators built for speed and memory efficiency

• ocaml
• parser-combinators
• parsing

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

• ocaml
• http

Batteries Included project

A modern supercompiler for call-by-value functional languages

• compiler
• functional
• functional-programming
• language

OCaml bindings for PyTorch

• ocaml
• pytorch
• machine-learning
• artificial-intelligence

Functional HTML scraping and rewriting with CSS in OCaml

• scraping
• html
• soup
• ocaml

A library for building dynamic webapps, using Js_of_ocaml.

Cooperative-threaded access to relational data

• ocaml
• database
• io-monad
• mariadb

drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

Lwt Translations of the Async Code Examples in Real World OCaml

• ocaml
• lwt

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action

Less redundancy in type declarations and signatures

Inline (Unit) Tests for OCaml

OCaml Amqp client library for Async and Lwt.

• amqp-client
• rabbitmq
• async
• ocaml

An enhanced unification algorithm for Coq

Micro-benchmarking library for OCaml

Type-safe library for building parallel applications, built on top of Async's Rpc module.