Most popular ocaml repositories and open source projects

spelll

fuzzy string searching, using Levenshtein automaton. Can be used for s...

3   22   22  

arp

Address resolution protocol (ARP) implementation in OCaml targeting Mi...

10   22   22  

smbc

Experimental model finder/SMT solver for functional programming.

0   22   22  

tiger

:construction: A small imperative language that I'm writing while read...

6   22   22  

shuttle

buffered channels, http codec, and more for async

3   22   22  

algaett

🦠 An experimental elaborator for dependent type theory using effects...

0   21   21  

hacl

Archived. Curve25519 support has been integrated into mirage-crypto-ec...

6   21   21  

reason-tree-sitter

ReasonML bindings for tree-sitter

6   21   21  

ocb

ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There...

2   21   21  

pkcs11

OCaml bindings for the PKCS#11 cryptographic API

7   21   21  

jsx-ssr

ReasonML implementation of JSX SSR(Server Side Rendering)

1   21   21  

reason-libvim

Reason API for libvim

6   21   21  

Logical

Minimalistic logic programming framework

0   21   21  

SandDB

A simple immutable database for the masses.

1   21   21  

stringext

Extra string functions for OCaml

5   21   21  

odoc2docset

Create Dash docsets from Odoc generated documentation.

3   21   21  

bot

A (Coq Development Team) bot written in OCaml

13   21   21  

facile

Python constraint programming library

6   21   21  

ocaml-tracy

Bindings to the Tracy profiler

0   21   21  

ocaml-decimal

Arbitrary-precision floating-point decimals

3   21   21  

jsoo-mithril

Js_of_ocaml bindings for MithrilJS

1   20   20  

redemon

3   20   20  

reason-chess

chess library in reason for cross platform game dev

2   20   20  

typebeat

Parsing of the Content-Type header in pure OCaml

6   20   20  

color

OCaml library to work with colors on the web

0   20   20  

rational_in_types

Type-level rational puzzles in OCaml

1   20   20  

llvmgraph

Ocamlgraph overlay for llvm

0   20   20  

ocaml-emoji

Emojis in OCaml, use them in your CLIs or whatever

4   20   20  

nosetup

An automatic require loader for OCaml toplevels

1   20   20  

lambda-dti

Interpreter of the ITGL with dynamic type inference

2   20   20  

ocaml-socks

SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and...

5   20   20  

examples_ocsigen

Some code examples made with Ocsigen / js_of_ocaml

2   20   20  

Tiger-ocaml-llvm-compiler

A minimal compiler written in OCaml that compiles Tiger to LLVM IR the...

5   20   20  

ocp-index-top

0   20   20  

bare-ocaml

runtime library and code-generator for BARE (https://baremessages.org/...

2   20   20  

schmu

A WIP programming language inspired by ML and powered by LLVM

0   20   20  

ocaml-coreutils

OCaml rewrite of GNU coreutils

0   20   20  

ocamlsyntax.com

How do you do that recursive GADT thing again?

4   20   20  

miiify

Serves web annotations from a git repository

0   20   20  

diffusers-ocaml

Diffusers API in OCaml

1   20   20  

ocannl

OCANNL: OCaml Compiles Algorithms for Neural Networks Learning

0   20   20  

talaria_bibtex

A bibtex file parser

0   19   19  

rss_to_mail

Sends an email for every new entries on RSS feeds.

3   19   19  

kqueue-ml

OCaml bindings to kqueue

0   19   19  

yuujinchou

👹 A library for handling namespaces and scopes

0   19   19  

acutis

A declarative, type-safe template language

0   19   19  

phat

Strongly typed file path and file system operations.

4   19   19  

Ocamlapi

Path-based http request routing in Ocaml.

2   19   19  

reasonml-tic-tac-toe

1   19   19  

firmata

Ocaml library to control Firmata boards like Arduino

0   19   19