ocaml
Repositories (1383)
A small router to write easily single-page-app in Js_of_ocaml
OCaml Ctypes stubs generation notes
Interpreter of the ITGL with dynamic type inference
Kubernetes API client for OCaml
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
Extra string functions for OCaml
Minimalistic logic programming framework
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
Todo App implemented in js_of_ocaml
ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.
Computer Aided Design (CAD) in OCaml
Reason React with editable source and live preview
Work-in-Progress collection of examples of using MirageOS from OCaml
[@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.
Byzantine model checker
A pure OCaml library for manipulating colors in different color spaces.
A Framework for building Batched Concurrent Services
Snóke is a good old Snake game with new ideas
OCaml CRUD Todo App using Melange with JWT auth
Generate ATD types from a JSON schema / OpenAPI document
Transactions, Keys, and Values
An OpenType font format encoder & decoder written in OCaml
OpenSCAD DSL for OCaml
New version of the PML language and (classical) proof assistant
Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package....
🔙 Backward lists for OCaml
Print with style in your terminal using Format's semantic tags
Password based key derivation functions from PKCS#5, RFC 2898
[DEPRECATED (use avro-simple)] Runtime library and schema compiler for the Avro serialization format.
Diffusers API in OCaml
OCaml bindings to kqueue
OCaml bindings for OpenGL
L-system interpreter in OCaml
A simple immutable database for the masses.
ReasonML implementation of JSX SSR(Server Side Rendering)
OCaml library to work with colors on the web
HOTP and TOTP algorithms for 2-step verification (for OCaml). :clock10: :closed_lock_with_key: :1234: :camel:
Some code examples made with Ocsigen / js_of_ocaml
A bibtex file parser
Reason API for libvim
An automatic require loader for OCaml toplevels
A toy L4 load balancer running on FPGA
Eclipse plugin that provides syntax highlighing support for additional languages.
Ocaml library to control Firmata boards like Arduino
Ocamlgraph overlay for llvm
String diagrams in LaTeX.
Solo5 core platform libraries for MirageOS
OCaml code for generating and analysing pcap (packet capture) files
OCaml as a Tactic Language for the Rocq Prover