A Neovim configuration for the advanced martian hacker

A use-package inspired plugin manager for Neovim. Uses native packages, supports Luarocks dependencies, written in Lua, allows for expressive config

A tool-agnostic formal specification language for OCaml.

Browser extension to curate, annotate, and discuss the most valuable content and ideas on the web. As individuals, teams and communities.

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

uBlock Origin - An efficient blocker for Chromium and Firefox. Fast and lean.

Legacy Browserpass repo, development is now happening at:

tmux source code

OCaml promises and concurrent I/O

Scalable LRU caches for OCaml

Logging infrastructure for OCaml

Functional HTML scraping and rewriting with CSS in OCaml

Non-blocking streaming JSON codec for OCaml

Compiler from OCaml to Javascript.

A high performance, memory efficient, and scalable web server written in OCaml

GraphQL servers in OCaml

Pure OCaml Git format and protocol

Basic types for computer graphics in OCaml

Dead-code analyzer for OCaml

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

An OCaml library for HTTP clients and servers using Lwt or Async

Declarative definition of command line interfaces for OCaml

A PDF parser and validator

Code coverage for OCaml and ReScript

Alternative String module for OCaml

Parser combinators built for speed and memory efficiency

A lightweight and colourful test framework

Portable OpenSSH

Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…

Text-mode interface for git