igarnier

prbnmcn-dagger

A library for probabilistic programming

prbnmcn-clustering

Clustering with k-means, k-medoids & agglomerative clustering

bih

A functorial implementation of the bounding interval hierarchy (BIH)

prbnmcn-gnuplot

OCaml overlay over Gnuplot

prbnmcn-stats

Basic statistics library

simplicial

Simplicial homology

permgroup

Permutation groups with Schreier-Sims

optiml-transport

Optimal transportation in OCaml

prbnmcn-ucb1

UCB1 bandits

suplex

A DSL compiling to LLVM using the tagless-final approach

mlrasp

llama-cpp-ocaml

OCaml ctypes bindings to llama.cpp

bih-rs

cset

eventlog-tools

Tools for the runtime tracing in OCaml 4.11.0 and higher

extract-ocaml-bnf

hermit-rs

Hermit for Rust.

history

hacking around reversible histories

llama.cpp

Port of Facebook's LLaMA model in C/C++

lwt

OCaml promises and concurrent I/O

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-xla

XLA (Accelerated Linear Algebra) bindings for OCaml

opam-repository

Main public package repository for opam, the source package manager of OCaml.

orf

OCaml Random Forests

prbnmcn-cgrph

Basic incremental computation

prbnmcn-linalg

metaprogramming-friendly, functional linear algebra

regr

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

zk-basics

Learning about zk-snarks

zk-benchmarking

comparing the performance of different zero-knowledge proof libraries