A Firefox extension to easily toggle between browser fonts and webpage fonts
An OCaml library for creating pandoc filters.
Frontend of https://Inhyped.com written in TypeScript and rewritten in ReScript
Petrol's an OCaml SQL API made to go FAST.
An implementation of MacroML [Ganz, Sabry & Taha 2001]
Efficient caching library for OCaml
HTTP/2 types and framing for ocaml
Arbitrary-precision floating-point decimals
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Library of Raft consensus algorithm implemented in OCaml
Materialien für das FPV-Tutorium im Sommersemester 2023
Bindings to the Tracy profiler.
& images
How do you do that recursive GADT thing again?
A CSS parser written in OCaml
OCaml Build Infrastructure
A simple wrapper around OCurl.
A URL shortener server with a GraphQL API written in OCaml.
My Attempt at System Fω with Row-Polymorphism
Purely functional iterators compatible with standard `seq`.
A type-safe JavaScript promise library for ReasonML
Formatted logs of type-annotated let-bound values, function arguments and results, `if` and `match` branches taken. Optionally, as collapsible HTML or...
A string diagram generator for LaTeX.
OCaml behind the scenes: exceptions
A Futhark binding generator for Rust and OCaml
Cubic bezier implementation in Reason / OCaml.
:microscope: Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with
2017F Programming Language Homework Checker
📦🚀 BuckleScript dynamic import interop on JavaScript environment
Generate Python bindings via pyml from OCaml value specifications
(unreleased) Data validation with first-class and first-order labels in OCaml
Personalized cancer epitope discovery and peptide vaccine prediction pipeline
Medium weight threads - preemptive thread pools for Lwt
Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.
Identifying similar OCaml codes
An OCaml implementation of the FUSE protocol versions 7.8 and 7.23
[beta] A multi-consumer, multi-producers blocking queue and stream for Lwt
Js_of_ocaml bindings to JS Promises with supplemental functions
SQL schema parser and code generator
Toy autograd engine in OCaml with Apple Accelerate backend
OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API reference directly...
AIFAD - Automated Induction of Functions over Algebraic Data Types
A minimal setup for writing Unikernels in ReasonML
An OCaml library for describing Protobuf messages
Ocaml multimedia library
:crayon::art:Composable and simple terminal highlighting package for OCaml.
Parser and printer for date-times in ISO8601
Minimal cross-platform LSP wrapper for merlin
A chess-themed tutorial on writing an SPA in Bucklescript-TEA
Mirror of https://codeberg.org/tjammer/schmu