Most popular ocaml repositories and open source projects

dollybot

A simple telegram image bot in OCaml

0   3   3  

Pym-s

Python with a sweet functionnal taste

0   3   3  

GoLite_Transpiler

💻 Transpiler written in OCaml that that converts a subset of golang to...

0   3   3  

PaperTerminal

0   3   3  

ml-interpreter

ML interpreter written in OCaml

0   3   3  

micro-synthetic

An OCaml implementation of the Micro-Synthetic algorithm to verify a n...

1   3   3  

prequel

A small SQL engine for CSV files.

0   3   3  

comment-server

A self hosted comments server

0   3   3  

react-reasonml-with-parceljs

Boilerplate

0   3   3  

APAX

an okay implementation of Raft consensus algorithm in OCaml

0   3   3  

incr_dom_navigation_example

client side navigation in incr_dom applications

0   3   3  

bisect-ci-integration-megatest

Bisect_ppx web integrations testing

1   3   3  

coursework

Organized School Coursework Repository

8   3   3  

OCutTheRope

OCaml implementation of the Cut The Rope game developed by Théophile W...

1   3   3  

toy-compilers

0   3   3  

LILiS.jsoo

Js_of_ocaml interface for LILiS

0   3   3  

xen-ocaml-tools

The OCaml code from the Xen hypervisor

0   3   3  

printer

Explorations in Pretty Printing

1   3   3  

ocaml_web_ui

An example of web application written in OCAML

0   3   3  

q6

Quelea Symbolic Execution

2   3   3  

little-search

SPA search front-end for finna.fi

0   3   3  

fp2018

Functional Programming

2   3   3  

racket-compiler

"Racket" to x86 compiler

0   3   3  

Context-Free-Grammars-Operations

0   3   3  

batsmt-ocaml

OCaml bindings for batsmt

0   3   3  

ocaml-weather

An OCaml library to access current weather data from OpenWeather

0   3   3  

ocaml-testrunner

Simple framework to run tests and create reports

0   3   3  

techbookfest5-toylang

Toy language interpreter

0   3   3  

cs3110-coursework-fp

Notes + Assignments from CS3110 Data Structures and Functional Program...

0   3   3  

ghm

Booking management for small guesthouses

1   3   3  

minimat

MINIMAT: Matrix Language in OCaml LLVM

1   3   3  

miniJava

A compilation project for Thrid year students of IMT Atlantique (the f...

2   3   3  

ocaml-shapefile

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

1   3   3  

zookicker

#1GAM February backup plan

0   3   3  

ocaml-kojson

Combinators for matching JSON

0   3   3  

reason-ethereum

⚗️Experimental Ethereum client

0   3   3  

lang-start

skeleton for a language implementation in OCaml

0   3   3  

esy-docker

Docker image build kit.

0   3   3  

osat

OCaml experimental sat3 solver

0   3   3  

tapl

Source code for TAPL

1   3   3  

ocaml-grib

OCaml bindings to the ECMWF's GRIB API

3   3   3  

language-opa-ocaml

Opa OCAML-based syntax language support in Atom

0   3   3  

troll-lang

A programming language for all things d20

0   3   3  

bs-react-pdf

react-pdf bindings for bucklescript

2   3   3  

verdi-runtime

Verdi framework runtime library

1   3   3  

ray-tracer

Rendering 3D scenes with geometric figures, mirrors, realistic shadows...

0   3   3  

query-complexity-framework

Framework for empirically exploring query complexity questions

0   3   3  

ocaml-scheme-interpreter

Scheme interpreter written in OCaml

1   3   3  

language

Статически типизированный встраиваемый LISP с интеропом

0   3   3  

watchcat-bot

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

1   3   3