Most popular ocaml repositories and open source projects

functional-cryptocurrencies

List of cryptocurrencies and smart contracts using functional programm...

1 14 14

ws-ocaml

WebSocket server implementation of OCaml

2 14 14

entries.pub

WIP IndieWeb blog engine

2 14 14

ocaml-interval

An interval library for OCaml

2 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

ocaml-wiringpi

Binding to the WiringPi library

2 13 13

mirage-unix

Unix core platform libraries for MirageOS

11 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

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

agave

🍯 Sweet simple static site generator

0 13 13

ATPG4SV

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

2 13 13

cubicle

The Cubicle model checker

8 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