Most popular ocaml repositories and open source projects

coq-plugin-utils

Useful utility functions for writing Coq plugins

1   4   4  

ocaml-driver

3   4   4  

mastodon-ocaml

0   4   4  

drylib.ocaml

DRYlib for OCaml.

0   4   4  

bs-platform.nix

BuckleScript via nix made easy

4   4   4  

bark

Unofficial OCaml port of elm/parser (v1.1.0).

0   4   4  

bs-intl

Intl bindings for Bucklescript

2   4   4  

yunounderstand-data

A collection of novice interactions with the OCaml top-level.

0   4   4  

andes

[toy, wip] A chain with lots of lemmas. More specifically, a logic pro...

0   4   4  

randomconv

Convert random byte vectors to numbers

3   4   4  

2048-ml

2048 in OCaml

0   4   4  

aoc-2020

Solutions for Advent of Code 2020

0   4   4  

ocaml-cryptodbm

Encrypted layer over the dbm library: access to serverless, key-value...

0   4   4  

jbuild-pp

Pretty printer for jbuilder's jbuild files

1   4   4  

iterators_bench

[bench] benchmark of various iterator implementations

3   4   4  

bismuth

An experimental Scheme

0   4   4  

Lamb

λ Dynamically Typed, Interpreted Functional Programming Language

0   4   4  

gemini-client

[toy] ocaml client for gemini

0   4   4  

ocaml-wildcard

Wildcard matching of DNS labels, and a tree structure with associated...

0   4   4  

fire-emblem

Fire-Emblem is a recreation of the game boy game for my 3110 final pro...

1   4   4  

opam-dot

A simple command to show the graph of dependencies of a package.

0   4   4  

ocaml-scgi

SCGI protocol library for use in ocaml web applications

1   4   4  

tktdd-ocaml

TKTDD in OCaml

1   4   4  

Ghica

Esoteric programming language inspired by a certain Romanian lecturer

1   4   4  

panama

simple webfrontend for mpv, the media player

1   4   4  

ufind

Case-insensitive, accent-insensitive search in Latin UTF strings and d...

0   4   4  

proj4ml

PROJ.4 bindings for OCaml

2   4   4  

ppx_useless

A useless ppx extension

0   4   4  

fast_blank_ocaml

Ruby String#blank? in OCaml

0   4   4  

api-client

Cryptosense Analyzer API client

1   4   4  

codewars

My solutions to some codewars katas

9   4   4  

ocaml-streams-thunks-lazy-monads

Computer Science Club presentation about streams, thunks, lazy types a...

0   4   4  

NatrixCompilerInterpreter

A compiler for the Natrix language, the final project of the Language...

0   4   4  

vsl-interpreter

Interpreter for VSL+

1   4   4  

reason-harfbuzz

Reason API for harfbuzz

4   4   4  

ocaml-ps

:camel: Problem solving with OCaml

0   4   4  

Testify

A syntactic extension that generates tests for your programs.

0   4   4  

neperien

[unfinished] structured, hierarchical log system for OCaml

1   4   4  

gpxer

GPX to PNG tool

0   4   4  

delta-debugging

Delta Debugging

0   4   4  

monaco-ocaml

Ocaml bindings to Microsoft's Monaco editor

2   4   4  

ocaml-sexpr0

a small basic ocaml module for parsing s-expressions

0   4   4  

thrifty

[wip] Reimplementation of thrift in OCaml

0   4   4  

mp2i-library-ocaml

Algorithmes et structures de données de MP2I, en OCaml

30   4   4  

dependent

An implementation of dependently typed lambda calculus

0   4   4  

OCaml

OCaml のサンプルコード群

0   3   3  

intip-chrome-extensions

Chrome extension with CRA + ReScript

0   3   3  

oclaunch

🚀 Lauch various command, once, when opening a terminal

2   3   3  

Rust-SharedMem-Ocaml

Rust-SharedMem-Ocaml is POC implementation of two-way IPC communicatio...

1   3   3  

book_of_ocaml

入門書「OCaml ではじめるプログラミング」(構想段階)

0   3   3