ocaml
Repositories (1372)
A tiny implementation of a small subset of the Prolog language, 🐫 in OCaml. With small and fun examples.
OCaml interface to the time series database InfluxDB
NQSB.IO name server
OCaml distributed data processing
Very simple ppx deriver for command line parser
Spin with Refinement
small range library for OCaml
MirageOS unikernels used for bobkonf 2019 tutorial
Ocaml implementation of some randomized computational geometry algorithms
A wrapper in Js_of_ocaml for the WebStorage API
A script that integrates the output from bsb into vscode tasks using problem matchers
Binding to the ODEPACK FORTRAN library
OCaml library to extract social information such as Twitter cards or OpenGraph data from webpages and HTML.
RFC 3492: IDNA Punycode implementation
Parser converts javascript or typescriot code to ReasonML
A tool to connect securely to a remote VM's VNC console
A todo app with ReasonReact + ReasonML + OCaml + BuckleScript + React
An implementation of http://www.cis.upenn.edu/~stevez/papers/MZZ10.pdf with examples and details from https://github.com/kpavery/System-Fo
DSL for C APIs to aid consistency of naming schemes and comments.
Syntax extension to generate random instances of types
Exenum (OCaml library) : build efficient enumerations for datatypes. Inspired by Feat for Haskell.
Static analyzer for Android-like applications
Library of OMake scripts to include in your projects (DEPRECATED)
👨🏼💻👅 A Tiny ML-like language for research purposes
Simple Merkle tree implementation based on the Bitcoin white paper.
In-House CA
A compiler backend. WIP
A compiler for untyped lambda terms to TeX code
A toy JVM written in OCaml
一个用 OCaml 实现的 http(s) 代理服务器, 极低的资源占用，支持 Linux 和 Mac OSX 在内的 Unix.
A compiler for sound generators and processors.
OCaml bindings for pulseaudio.
Template for reproducable and lightweight OCaml dev environment using Nix
Unicode collation library for OCaml
In memory database with first class JSON IO
Tool to add/update nftables cgroupv2 rules for systemd-managed unit cgroups (slices, services, scopes)
Prácticas de la asignatura de Paradigmas de Programación
🐫🎓 OCaml midterm project for 'Advanced Programming' course @ UniPi.
Minimal and pure OCaml tool to create SSL certificates for a host.
Visual Studio Code extension for OCaml and Reason language support
Unikernel-code and information to get up and running with MirageOS
gi-bindings-generator : OCaml Loader that uses GObject-Introspection in order to automatically create Ctypes bindings for Gnome libraries.
Foundry standard library and examples (public)
IndexedDB bindings for JSoO
An OCaml library for building servers that speak RESP
Torrent creation tool written in OCaml
TLS bouncer (that is not written yet)
Backblaze API for OCaml
Minimalistic setup for running Python scripts from OCaml