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

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

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