Thin wrapper over the Tutanota encrypted email service

Automatic verification of LLVM optimizations

Jelly is a recreational programming language inspired by J.

A portable, compact and extensible Scheme implementation that is fully R4RS compliant. This includes closures, I/O, tail calls, first-class continuations and a Read Eval Print Loop (REPL). The R4RS…

Discussions about projects, technologies, and processes around building large-scale mobile apps

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

GoogleTest - Google Testing and Mocking Framework

Reference implementation of Dragonbox in C++

My collection of CMake modules

Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code

Tools to download and aggregate feeds of vaccination clinic location information in the United States.

Comprehensive, powerful, commercial-quality CBOR encoder/ decoder that is still suited for small devices.

JSON/CBOR streaming library, without using memory, like a GoldFish

Centralised repository for WARC usage specifications.

Brainfuck interpreter inside printf

Automatic verification of LLVM optimizations

Ghidra is a software reverse engineering (SRE) framework

Nix Packages collection

High performance, concurrent functional programming abstractions

llvm-mctoll

ALLVM Tools

OBSOLETE - replaced with https://github.com/yotann/bcdb

Extracting high level semantic information from binary code

NCSA Mosaic 2.7

Python binary parsing library

NCSA Mosaic 2.7