Pinned Repositories
bih
A functorial implementation of the bounding interval hierarchy (BIH)
clustering
An OCaml clustering library
llama-cpp-ocaml
OCaml ctypes bindings to llama.cpp
ocaml-geth
Strongly-typed OCaml overlay for Go-Ethereum (geth)
prbnmcn-clustering
Clustering with k-means, k-medoids & agglomerative clustering
prbnmcn-dagger
A library for probabilistic programming
prbnmcn-mcts
Monte-Carlo tree search based on UCB1 bandits
prbnmcn-ucb1
UCB1 bandits
simplicial
Simplicial homology
vplot
Plotting library built on top of vlayout, cairo2 and tsdl
igarnier's Repositories
igarnier/prbnmcn-dagger
A library for probabilistic programming
igarnier/prbnmcn-clustering
Clustering with k-means, k-medoids & agglomerative clustering
igarnier/bih
A functorial implementation of the bounding interval hierarchy (BIH)
igarnier/prbnmcn-gnuplot
OCaml overlay over Gnuplot
igarnier/prbnmcn-stats
Basic statistics library
igarnier/permgroup
Permutation groups with Schreier-Sims
igarnier/optiml-transport
Optimal transportation in OCaml
igarnier/prbnmcn-ucb1
UCB1 bandits
igarnier/suplex
A DSL compiling to LLVM using the tagless-final approach
igarnier/term-indexing
Term indexing and rewriting
igarnier/mlrasp
igarnier/llama-cpp-ocaml
OCaml ctypes bindings to llama.cpp
igarnier/bih-rs
igarnier/cset
igarnier/eventlog-tools
Tools for the runtime tracing in OCaml 4.11.0 and higher
igarnier/extract-ocaml-bnf
igarnier/hermit-rs
Hermit for Rust.
igarnier/history
hacking around reversible histories
igarnier/llama.cpp
Port of Facebook's LLaMA model in C/C++
igarnier/ocaml
The core OCaml system: compilers, runtime system, base libraries
igarnier/ocaml-ctypes
Library for binding to C libraries using pure OCaml
igarnier/ocaml-xla
XLA (Accelerated Linear Algebra) bindings for OCaml
igarnier/opam-repository
Main public package repository for opam, the source package manager of OCaml.
igarnier/orf
OCaml Random Forests
igarnier/prbnmcn-cgrph
Basic incremental computation
igarnier/regr
igarnier/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
igarnier/term-tools
igarnier/zk-basics
Learning about zk-snarks
igarnier/zk-benchmarking
comparing the performance of different zero-knowledge proof libraries