ocaml

ML interpreter written in OCaml

An OCaml implementation of the Micro-Synthetic algorithm to verify a new theory of pattern discovery.

A small SQL engine for CSV files.

A self hosted comments server

Boilerplate

an okay implementation of Raft consensus algorithm in OCaml

client side navigation in incr_dom applications

Bisect_ppx web integrations testing

Organized School Coursework Repository

OCaml implementation of the Cut The Rope game developed by Théophile Walter and Jules Pénuchot

Js_of_ocaml interface for LILiS

The OCaml code from the Xen hypervisor

Explorations in Pretty Printing

An example of web application written in OCAML

Quelea Symbolic Execution

SPA search front-end for finna.fi

Functional Programming

"Racket" to x86 compiler

OCaml bindings for batsmt

An OCaml library to access current weather data from OpenWeather

Simple framework to run tests and create reports

Toy language interpreter

Notes + Assignments from CS3110 Data Structures and Functional Programming

Booking management for small guesthouses

MINIMAT: Matrix Language in OCaml LLVM

A compilation project for Thrid year students of IMT Atlantique (the former Telecom Bretagne)

OCaml library for handling ESRI shapefiles (.shp, .shx, .prj).

#1GAM February backup plan

Combinators for matching JSON

⚗️Experimental Ethereum client

skeleton for a language implementation in OCaml

Docker image build kit.

OCaml experimental sat3 solver

Source code for TAPL

OCaml bindings to the ECMWF's GRIB API

Opa OCAML-based syntax language support in Atom

A programming language for all things d20

react-pdf bindings for bucklescript

Verdi framework runtime library

Rendering 3D scenes with geometric figures, mirrors, realistic shadows, depth of field and global illumination.

Framework for empirically exploring query complexity questions

Scheme interpreter written in OCaml

Бот для удаления спама из телеграм чатов

Web crawler using irmin for storage and graphql to serve data

Change impact analysis in Coq and OCaml

🐪

An OCaml package for predicting RNA secondary structure