YubiKey plugin for age

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

A fork of password-store (https://www.passwordstore.org) that uses age (https://age-encryption.org) as backend.

Mold: A Modern Linker 🦠

Abseil Common Libraries (C++)

Org mode's web archiver.

A simple org-mode based journaling mode

Offline serializability verification, in Clojure

Example QuickCheck models

appr.tc has been shutdown. Please use the Dockerfile to run your own test/dev instance.

Job scheduler for load regulation

Shim to insulate apps from spec changes and prefix differences. Latest adapter.js release:

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

A collection of TLA⁺ specifications of varying complexities

Sources for my PhD dissertation on the Raft consensus algorithm

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Ring buffer that allows for high-throughput data transfer between multiproccessing Python processes.

The picture language from chapter 2 of SICP (and more...)

Describing lambda-calculus using ES6 arrow notation

Indexing a whole book using tries, and comparing.

A concolic testing tool for the Erlang functional programming language.

Erlang Easy Profiling (eep) application provides a way to analyze application performance and call hierarchy

A collection of custom themes for Emacs. All the themes are named after famous programmers.

Common Test hooks for more readable logs

Learn Haskell

Stateful generative testing in clojure

Property-based generative testing for stateful computations in Clojure

QuickCheck for Clojure

Automatic testing of Haskell programs.

Randomized Property-Based Testing Plugin for Coq