Most popular ocaml repositories and open source projects

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  

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  

pkcs11

OCaml bindings for the PKCS#11 cryptographic API

7   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  

ascii-chat

A terminal-based peer-to-peer (P2P) end-to-end-encrypted (E2EE) video...

2   21   21  

ocaml-tracy

Bindings to the Tracy profiler

0   21   21  

ocaml-decimal

Arbitrary-precision floating-point decimals

3   21   21  

algaett

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

0   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  

jsx-ssr

ReasonML implementation of JSX SSR(Server Side Rendering)

1   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  

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  

protocell

Conjures up convenient OCaml types and serialization functions based o...

0   19   19  

rules_reason

📐Reason/OCaml rules and tools for Bazel

2   19   19  

kubecaml

Kubernetes API client for OCaml

1   19   19  

camels

camels game

1   19   19  

RayTracer.ml

🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weeken...

0   19   19  

delimcc

Delimited continuations in byte-code and native OCaml

4   19   19  

mirage-solo5

Solo5 core platform libraries for MirageOS

22   19   19