ocaml
Repositories (1383)
A CHIP8 emulator written in OCaml
MQTT client for OCaml
Strongly typed file paths
OCaml library for resizable arrays and strings
OCaml implementation of the T-Digest algorithm
An OCaml interface to the Sundials suite of numeric solvers.
Choice operator in OCaml, providing a backtracking monad
Python constraint programming library
Documentation site for Melange
Pásame el Código es una web open source con apuntes y ejercicios resueltos de las diferentes asignaturas que componen el Grado de Enxeñería Informátic...
Compositional JSON encode/decode library and PPX for Melange and OCaml
Read manga from the comfort of your terminal
Contract Metadata Viewer on Tezos
let a million languages bloom
Render boxes in the terminal with OCaml or Reason
A compiler for a relational programming language for the BEAM, written in OCaml
fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.
Create Dash docsets from Odoc generated documentation.
Compile OCaml/Reason to static iOS libraries
Synonym of angkor
Type-level rational puzzles in OCaml
OCaml HTTP Microframework
:construction: A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
Learning Reason/OCaml by making an old-school canvas game.
OCaml parser for RFC 3164 Syslog messages
Elliptic curve library secp256k1 wrapper for Ocaml
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
BuckleScript bindings for Lwt
[WIP] Pure OCaml bindings to the X11 protocol
Foundry Compiler
Formally verified Coq serialization library with support for extraction to OCaml
An easy functional Web app micro framework.
Learn CS by doing!
DEPRECATED. We recommend Jane Street's dune (formerly jbuilder).
WiP: RFC 4880 (OpenPGP) library and utilities in OCaml
Proof of concept to generate safe and fast JavaScript
SSA backend that performs ABI lowering and emits native amd64 ELF binaries
Experimental model finder/SMT solver for functional programming.
Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
[MIRROR] Ultimate Ocaml Editing Mode
A small router to write easily single-page-app in Js_of_ocaml
Computer Aided Design (CAD) in OCaml
chess library in reason for cross platform game dev
camels game
runtime library and code-generator for BARE (https://baremessages.org/)
a byte-sized time series database
OCaml bindings for the PKCS#11 cryptographic API
OCaml AT Protocol client — opam install atproto
Easy to use and user-friendly topological sort module for OCaml
NumLin: Linear Types for Linear Algebra