Typed Regular Expressions

Interoperable effects based concurrency

Effects-based direct-style IO for multicore OCaml

Kohai is a very simple (but opinionated) timetracker for my personal usage

Use your Mac trackpad as a weighing scale

Stack trace visualizer

git commit --fixup, but automatic

Java API For Flickr. Fork of FlickrJ

A Stack Overflow clone for teams (self-hosted or hosted)

IP Geolocation API is a free service for locating your visitors in real-time with detailed country information.

ls Xtended : A command line utility that lets you navigate through terminal like a pro 😎.

Maintainable configuration files

An OCaml modular and generalised parser combinator library.

Run programs on linux with selectively restricted permissions.

Unified ingress for developers

expose yourself

OCaml zlib bindings

🐶 Automated code review tool integrated with any code analysis tools regardless of programming language

Formally verified Coq serialization library with support for extraction to OCaml

An Emacs shell-mode (and comint-mode) extension that enables displaying small plots and graphics and lets users write shell commands in Emacs Lisp.

Docker entrypoint script to run containers as an unprivileged user with UID and GID set to be compatible with the host machine

Exercism exercises in OCaml.

A formalization of category theory in the Coq proof assistant.

PHP Proxy for Cross Domain Requests

A Moom port to Emacs - Make your dominant hand FREE from your mouse

Nix derivations as Dockerfiles (`docker build -f default.nix .`)

A local-first personal finance app

Coauthor supercollaboration/discussion forum