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