Most popular ocaml repositories and open source projects

ocaml-interval

An interval library for OCaml

2   14   14  

mirage-xmpp

Implementation of XMPP for MirageOS

1   14   14  

logbook

A tool for keeping a personal log

1   14   14  

ocaml-zxcvbn

Ocaml bindings for the zxcvbn password strength estimation library

1   14   14  

notes

notes I've made from books I've read, courses I've taken etc

1   14   14  

ircd-scylla

MirageOS IRC daemon.

2   14   14  

FADBADml

Automatic Differentiation: FADBAD++ for OCaml

1   14   14  

ocolor

Print with style in your terminal using Format's semantic tags

2   14   14  

ofetch

A HTTP client relying solely on the OCaml standard library, for use wh...

1   14   14  

ocaml-testing-template

A template repo demonstrating OCaml tooling and testing

3   14   14  

easier-proofs

A project which aim to help engineers to make proves easily

1   14   14  

Indigobi

A cute Gemini client written in OCaml

1   14   14  

xmas

🎄 advent of code

0   14   14  

weevil

A debugger for Michelson

0   14   14  

xs-opam

Opam repository for OCaml libraries to build Citrix Hypervisor toolsta...

20   13   13  

featherweight-java

An experimental implementation of (extended) featherweight-java (FJ) w...

0   13   13  

asdf-ocaml

OCaml plugin for ASDF version manager

3   13   13  

ocaml-testsimple

Test::Simple, for OCaml

0   13   13  

graphqlx

A GraphQL client written in OCaml and JavaScript

1   13   13  

ppx_factory

OCaml preprocessor to derive factory methods and default values from t...

1   13   13  

snail

[WIP] A functional programming language based on Coeffect Calculus and...

0   13   13  

multik

Animation Framework

0   13   13  

linear-lambda-calculus

An implementation of Linear Lambda Calculus.

2   13   13  

jsoo-css

CSS Typed functional interface in jsoo, bindings to inline styles and...

1   13   13  

huffman

Correctness proof of the Huffman coding algorithm in Coq [maintainer=@...

4   13   13  

cme-mdp

Imandra Modelling Language CME MDP Model

3   13   13  

http-multipart-formdata

Enables HTTP file uploads and form processing in OCaml web application...

0   13   13  

ocaml-gnuplot

bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)

3   13   13  

mkaudio

CLI program for generating audio files

1   13   13  

ATPG4SV

A prototype of Concolic Testing engine for SystemVerilog, developed as...

2   13   13  

cubicle

The Cubicle model checker

8   13   13  

ocaml-wiringpi

Binding to the WiringPi library

2   13   13  

mirage-unix

Unix core platform libraries for MirageOS

10   13   13  

bantorra

📚 A library for managing libraries and resolving unit paths

0   13   13  

streams-bench

Benchmarks for different streaming models: iterators, generators, sequ...

1   13   13  

ppx_system

ppx_system is a syntax extension to known operating system at compile...

1   13   13  

ocaml-alg

Algebraic structures in OCaml.

3   13   13  

lwt-websocket

ocaml lwt based websocket library

2   12   12  

ocaml-bucklescript-serverless-aws-lambda-example

ocaml code traspiled by bucklescript to javascript runnable in aws lam...

0   12   12  

bs-containers-core

OCaml-containers core for BuckleScript.

1   12   12  

dbc

Design-by-contract programming for JavaScript and ReasonML

1   12   12  

ocaml-lxc

OCaml binding to LXC with idiomatic (and opionated) OCaml API design

0   12   12  

reason-esy-example

Example project using esy and reason

1   12   12  

order

Comparison and ordering of ReasonML/OCaml values.

0   12   12  

mifkad

Attendance tracking webapp - ReasonML frontend/Rust backend - work tas...

4   12   12  

seq

compatibility package for the standard OCaml iterator type

5   12   12  

bs-package-boilerplate

A BuckleScript NPM package boilerplate

0   12   12  

ocaml-bitpath

Efficient bit-string type along with containers to partition data on v...

0   12   12  

tlsclient

TLS client program

1   12   12  

kiln

The reference compiler for the Brick language

0   12   12