ocaml
Repositories (1356)
Memthol is a visualizer for memory profiling data generated from OCaml programs.
Lightweight library to experiment with quantum states, gates and simulating quantum algorithms.
Bindings to the various POSIX APIs
Erlang External Term Format for OCaml
Low Level Bindings to Libev
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...
Effectful OCaml with Objects and Variants
Mirror of https://codeberg.org/tjammer/schmu
Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
An OCaml RocksDb binding using ocaml-ctypes
[ABANDONED] Containers for Bucklescript application
Bioinformatics Ketrew Pipelines
Malfunction backend for Idris with a FFI to OCaml
Binding to the Docker Remote API
OCaml (subset) to LLVM IR compiler front-end 🐪
Fast, safe mutable dynamic arrays for OCaml
Emojis in OCaml, use them in your CLIs or whatever
Native OCaml bindings to Gitlab REST API v4
Testing and benchmarking tool for logic-related programs.
An OCaml library implementing unifiable abstract binding trees (UABTs)
Delimited continuations in byte-code and native OCaml
A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
Text-first toolkit for building reproducible, composable LLM workflows as plain files in OCaml.
Lightweight, throwaway instances of databases, message brokers, or any service that runs in a Docker container. Enables reliable integration testing w...
type safe routing for Dream and Melange
generic I/O streams of bytes
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...
The MemCAD static analyzer
[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
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rew...
OCaml library for resizable arrays and strings
An OCaml interface to the Sundials suite of numeric solvers.
Choice operator in OCaml, providing a backtracking monad
OCaml implementation of the T-Digest algorithm
A meta-language for OCaml. (Unreleased)
An HTTP server and framework written from scratch in OCaml
Sends an email for every new entries on RSS feeds.
A high level DSP library in the OCaml language
Documentation site for Melange
:milky_way: Detect compiler names and versions from ELF files
fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.
The Rocq Prover bot
The Automatic Mycorrhiza Finder (AMFinder) allows for automatic computer vision-based identification and quantification of AM fungal colonisation and...
Mirror for https://sr.ht/~johnridesabike/acutis/
👹 A library for hierarchical names and lexical scoping
Strongly typed file path and file system operations.
OCaml implementation of a NES Legend of Zelda-style browser-based game
Type-level rational puzzles in OCaml
Like the Programming Languages Zoo but with esoteric languages.