Most popular ocaml repositories and open source projects

ocaml-cal-svg

Generates calendars in SVG, that you can convert to PDF and print.

0   11   11  

fpga-lb

A toy L4 load balancer running on FPGA

0   11   11  

Punchboy

Drop some lyrics and highlights the rhymes with colors

0   11   11  

oali

OCaml Arch Linux Installer

0   10   10  

ocaml-xi-rope

xi-editor data structures in OCaml

0   10   10  

batsat-ocaml

OCaml bindings for batsat (https://github.com/c-cube/batsat)

2   10   10  

jsoo_broadcastchannel

Binding in Js_of_ocaml for the BroadcastChannel API

2   10   10  

automatic-differentiation

:chart_with_upwards_trend: Find first derivatives of functions automag...

1   10   10  

jsonrpc2

[unfinished] Jsonrpc2 for OCaml, parametrized by the underlying IO.

0   10   10  

poc-calvin-transactions

POC aimed to evaluate the deterministic approach of Calvin for distrib...

0   10   10  

bag

Bag library for OCaml

1   10   10  

ocaml-salsa20

Salsa20 encryption function, in pure OCaml

1   10   10  

bs-snabbdom

Bucklescript + Snabbdom

5   10   10  

fiat-shamir-zkp

OCaml implementation of Fiat-Shamir Zero Knowledge Proof system as a c...

0   10   10  

rego

Reasonable Go.

0   10   10  

ocaml-vw

OCaml bindings to vowpal wabbit

0   10   10  

menhir-error-recovery

2   10   10  

usane

Unsigned integers for OCaml

2   10   10  

nlopt-ocaml

OCaml bindings to the NLOpt optimization library

2   10   10  

ocaml-eliom

A modified OCaml compiler for eliom programs

4   10   10  

domain-name

RFC 1035 Internet domain names

5   10   10  

subtype-refinement

Refinement types encoded with private types in OCaml. :roll_eyes: :cam...

1   10   10  

Lambda

Lambda calculus interpreter in OCaml

3   10   10  

logs-syslog

Emit Logs via syslog

3   10   10  

ethernet

Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml

7   10   10  

mini_ml

Interpreter of OCaml subset

2   10   10  

slack-backup

OCaml cli tool to backup discussions (channels and conversations) from...

0   10   10  

fire-emblem-chess

Fire Emblem themed pass & play browser chess game, implemented in ReSc...

0   10   10  

booba

After paying tribute to Hugo and Zola, the great family of static blog...

0   10   10  

asai

🩺 A library for handling compiler diagnostics and span-associated meta...

0   10   10  

simple-compiler

A simple compiler for a simple language. Compiles to RISC instructions...

0   10   10  

morsmall

A concise AST for POSIX shell

4   10   10  

space

The compiler for the space programming language. The frontend generate...

4   9   9  

nate

Learning to Blame Type Errors from Novice Mistakes

4   9   9  

ocaml-noise-socket

Noise Socket library in OCaml

2   9   9  

prettiest

A Pretty but not Greedy Printer in OCaml

2   9   9  

counter-as-a-service

An example of a "real world" app written entirely with Reason

0   9   9  

ocaml-dimensions

Type-level dimensional analysis for OCaml

1   9   9  

Jerboa

A minimalistic web framework for you

1   9   9  

advent

advent of code in ocaml.

1   9   9  

bs-dom

A DOM Library for BuckleScript

1   9   9  

eliomlang

Runtime and tools for the eliom language

1   9   9  

opam-lock

Dump/restore opam dependencies using a lock file

2   9   9  

piplet

Small page generator (Work in progress)

0   9   9  

reason-aoc-starter

Reason Starter kit for Advent of Code

1   9   9  

trustee

[wip] A LCF-style kernel of trust intended for certified ATP and proof...

2   9   9  

torcontrol

OCaml client library for the Tor control port [abandoned]

0   9   9  

experiments

Just toys

1   9   9  

ParameterisedModule.jl

Full featured parameterised ML-modules in Julia

1   9   9  

web-ocaml-rust-tuto

List of tutorials/projects experiencing OCaml and Rust mixed code runn...

0   9   9