ocaml

A framework for stateful, black-box testing of arbitrary systems, in OCaml. Inspired by Erlang/OTP's Common Test.

generate bucklescript from javascript type specifications

MIDI-driven metronome

Example of using ReasonML with NextJS to create internal interfaces using the best.

Simple web server library for OCaml like Sinatra

OCaml VM on Nucleo STM32.

:mag: A Jest-like test runner for native Reason / OCaml

Convert between JavaScript UCS-2-encoded strings and OCaml-friendly UTF-8 byte-arrays.

0️⃣ 1️⃣ OCaml library for bit/byte operations

Same as https://www.haskell.org/hoogle/ but for OCaml programmers

:camel: Working through code problems in OCaml

A type reconstruction algorithm implementation for the implicitly and gradually typed language with shift and reset

Dlang bindings for Ocaml

prolog interpreter in ocaml

Convenient binary string manipulation module for OCaml

A protein fragments picker

BuckleScript AI for Screeps

A small ML-like, type-checked, interpreted or x86-64 compiled, language created because it's weekend

Flappy bird, written using Elm architecture in OCaml

C bindings for Irmin

📚 Highlights in your terminal 📖

Write WAT DSL in OCaml.

Ppxlib based rewriter inspired by Python string `format()`.

DeepLang type system based on Ocaml

🖨️ Printing OCaml Runtime Representations

Computer Aided Design (CAD) in OCaml

Automated generation of OCADml transformations over user created types

Automated generation of OCADml transformations over user created types

proof of concept for https://github.com/ocaml/RFCs/pull/19

A DSL for generating iptables firewall scripts.

Certified proof checker for Fitch-style propositional logic proofs

Parents friendly jobs portal

My notes and solutions for "Purely Functional Data Structures" book by Chris Okasaki (in OCaml).

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