ocaml
Repositories (1383)
AIFAD - Automated Induction of Functions over Algebraic Data Types
Ocaml multimedia library
(unreleased) Data validation with first-class and first-order labels in OCaml
:crayon::art:Composable and simple terminal highlighting package for OCaml.
Text-first toolkit for building reproducible, composable LLM workflows as plain files in OCaml.
Type-safe Tailwind CSS in OCaml - A lightweight utility-first CSS generation library with prose typography support, responsive modifiers, and minima...
The Rocq Prover bot
An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
A minimal setup for writing Unikernels in ReasonML
Fast, safe mutable dynamic arrays for OCaml
Bindings to the various POSIX APIs
Erlang External Term Format for OCaml
A terminal-based peer-to-peer (P2P) end-to-end-encrypted (E2EE) video chat application with text messaging, written in OCaml. Supports up to 4 clients...
An OCaml library implementing unifiable abstract binding trees (UABTs)
A high level DSP library in the OCaml language
JWTs for OCaml
Algebraic structures in OCaml.
Effectful OCaml with Objects and Variants
A chess-themed tutorial on writing an SPA in Bucklescript-TEA
Minimal cross-platform LSP wrapper for merlin
Mirror of https://codeberg.org/tjammer/schmu
Sends an email for every new entries on RSS feeds.
An HTTP server and framework written from scratch in OCaml
Binding to the Docker Remote API
Malfunction backend for Idris with a FFI to OCaml
[ABANDONED] Containers for Bucklescript application
An OCaml RocksDb binding using ocaml-ctypes
Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
Emojis in OCaml, use them in your CLIs or whatever
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rew...
đź‘ą A library for hierarchical names and lexical scoping
Lightweight, throwaway instances of databases, message brokers, or any service that runs in a Docker container. Enables reliable integration testing w...
Native OCaml bindings to Gitlab REST API v4
The MemCAD static analyzer
This plugin is providing support for OCaml in IntelliJ. It's based on ReasonML and intellij-rust. If you are looking for a complete and maintained sol...
Bioinformatics Ketrew Pipelines
[dead] combinators for type conversion (serialization/deserialization) to/from several formats. See this blog post (outdated): http://cedeela.fr/unive...
A work-in-progress OCaml client for Sentry
Mirror for https://sr.ht/~johnridesabike/acutis/
type safe routing for Dream and Melange
Passphrase entry utility that aims to defeat hardware keyloggers and low-resolution spy cameras
The Automatic Mycorrhiza Finder (AMFinder) allows for automatic computer vision-based identification and quantification of AM fungal colonisation and...
A meta-language for OCaml. (Unreleased)
A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
Delimited continuations in byte-code and native OCaml
OCaml implementation of the T-Digest algorithm
Choice operator in OCaml, providing a backtracking monad
An OCaml interface to the Sundials suite of numeric solvers.
A statically generated webring with YOCaml, because we love small-web
A CHIP8 emulator written in OCaml