ocaml

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

Grid.js bindings for JSoO

OCaml socket.io client

Type-safe Format using GADT in OCaml

NonEmpty type with Array and List implementations for ReasonML and OCaml

Starter for React-Native-Web, Reason, reason-react-native, ios, android and web app and React Hooks.

Unsplash mobile client built with ReasonML

WIP ppx for string interpolation in OCaml

Some examples of reason code

CDCL (Conflict-Driven Clause Learning) based SAT solver written in OCaml

Sailing Gadgets in a fancy realtime UI

Another A* CCG parser written in OCaml

Simple ppx tutorial for OCaml

An experiment in writing Redux reducers using OCaml

Firewall compiler for Ipv4/6

bucklescript bindings to web3 IGNORE THIS: USE https://github.com/fxfactorial/ethereum-re

[frozen] Scheduling and running jobs on a shared computer, then analyse their output