yallop

torch

ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

godotcaml

wasmer-ocaml

OCaml bindings for Wasmer

toy-macro-ml

An implementation of MacroML [Ganz, Sabry & Taha 2001]

mech-type-theories

Mechanizations of Type Theories

camlkit

OCaml bindings to macOS and iOS Cocoa frameworks

quickjs.ml

OCaml bindings to QuickJS

simba

Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation

agda-synthetic-domain-theory

guile-ocaml

GNU Guile Scheme bindings for OCaml

ocaml-cudajit

Bindings to the `cuda` and `nvrtc` libraries with a unified interface

ocaml-sdk

Extism OCaml Host SDK - easily run WebAssembly modules / plugins from OCaml applications

uring-trace

Visualization tool for your IO-uring workload

safe-pattern-generation

Type-safe statically unknown pattern generation in MetaOCaml

llama-cpp-ocaml

OCaml ctypes bindings to llama.cpp

agda-nbe

Verified NbE via gluing in Agda

ocaml-libbpf

Libbpf C-bindings for OCaml

checked_oint

An OCaml library for checked integer arithmetic

ocaml-corosync

compiler-construction-notes

spsc-scala

A Small Positive Supercompiler in Scala

ocaml-gccjit

OCaml bindings for libgccjit

ocaml-ceph

OCaml bindings to libcephfs

bip340

secp256k1 bindings for Schnorr signatures

camlkit-bindings-generator

imguiml

Bindings to cimgui

Mappin

modular-compiler-variants

This repository exists in order to hold OCaml variants for modular explicit and modular implicit

idris-soas