ocaml

Useful utility functions for writing Coq plugins

DRYlib for OCaml.

BuckleScript via nix made easy

Intl bindings for Bucklescript

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

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

Convert random byte vectors to numbers

2048 in OCaml

Solutions for Advent of Code 2020

Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.

Pretty printer for jbuilder's jbuild files

[bench] benchmark of various iterator implementations

An experimental Scheme

λ Dynamically Typed, Interpreted Functional Programming Language

[toy] ocaml client for gemini

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

Fire-Emblem is a recreation of the game boy game for my 3110 final project. It was worked on by 4 people and was completed over 250+ hours. It is enti...

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

SCGI protocol library for use in ocaml web applications

TKTDD in OCaml

Esoteric programming language inspired by a certain Romanian lecturer

simple webfrontend for mpv, the media player

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

PROJ.4 bindings for OCaml

A useless ppx extension

Ruby String#blank? in OCaml

Cryptosense Analyzer API client

My solutions to some codewars katas

Computer Science Club presentation about streams, thunks, lazy types and monads

A compiler for the Natrix language, the final project of the Language Processing course at the University of Beira Interior (UBI).

Interpreter for VSL+

Reason API for harfbuzz

:camel: Problem solving with OCaml

A syntactic extension that generates tests for your programs.

[unfinished] structured, hierarchical log system for OCaml

GPX to PNG tool

Delta Debugging

Ocaml bindings to Microsoft's Monaco editor

a small basic ocaml module for parsing s-expressions

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

An implementation of dependently typed lambda calculus

OCaml のサンプルコード群

Chrome extension with CRA + ReScript

🚀 Lauch various command, once, when opening a terminal

Rust-SharedMem-Ocaml is POC implementation of two-way IPC communication between multiple independent Rust and Ocaml processes

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

A simple telegram image bot in OCaml

Python with a sweet functionnal taste