A framework for distributed systems verification, with fault injection

A workbench for writing toy implementations of distributed systems.

aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library strives to be API-compatible with the popular Rust library named ring.

An Obsidian theme inspired by the beautifully-designed app, Things.

Writing an OS in Rust

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

Chat with your notes & see links to related content with AI embeddings. Use local models or 100+ via APIs like Claude, Gemini, ChatGPT & Llama 3

Your One-Stop Publication Workbench

Proton Mail Bridge application

Repository of bangs used by Kagi Search

This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

A highly opinionated, fully featured Obsidian vault that can get you from Zero to Zettelkasten lickety split!

A free Windows-compatible Operating System

HardenedBSD implements strong exploit mitigations and security hardening technologies on top of FreeBSD, with a direct focus on the nexus between human rights and information security. HardenedBSD …

Draft for ECMAScript Error Safe Assignment Operator

The bidirectional mapping library for Python.

Write any JavaScript with 6 Characters: []()!+

Software sharing for modern businesses. Engage the developer community with your core products.

A git extension to be able to track metrics about your project, within the git repository

Evaluation Matrix for Change Data Capture

Set up your GitHub Actions workflow with conda via miniconda

A personal experimental C++ Syntax 2 -> Syntax 1 compiler

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

ccache – a fast compiler cache

A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)

GoogleTest - Google Testing and Mocking Framework

static analysis of C/C++ code

Utility for comparing and merging files and directories

The official Go library for the Cloudflare API