ocaml

Testing various Irmin backends in the browser

A GraphQL server prototyped in many languages

Ocaml code from the book by Cousineau and Mauny (1998)

scrumdog: Utility to export Jira Issues to SQLite database

OCaml Nes Emulator

Shell-like programming for OCaml

Dropbox v2 API bindings

A BuckleScript syntax extension to resemble Javascript's async/await

slowly going through the "Real World Ocaml" book, but using Caramel

Lwt-based module for reading binary numbers

Lazy streams for OCaml

API + Telegram bot + SPA for Dota 2 hero voicelines

Benchmarks for various system operations in OS X with Swift, Go, C, and OCaml

Data-Centric Widgets for Eliom

Reasonml Api rest

Build a tree of conflict dependencies in your Droppbox folder

Red Black trees (as well as linked lists and ordered binary trees) in 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+