A type-erasure toolkit for C++20

Extensions to the C++ standard library. This library implements polyfills to enable library functionality from later versions of C++ to be used in earlier versions. It also implements some nonstand…

Coroutines for C++20 & asio

Lightsaber Controller Software

High-performance metrics library

Implementation of Peter Shirley's Ray Tracing In One Weekend book using Vulkan and NVIDIA's RTX extension.

Functional Programming Library for C++. Write concise and readable C++ code.

My personal Vulkan renderer

Meta loader for Vulkan API

Vulkan Development Tools

A General-purpose Task-parallel Programming System using Modern C++

Postmodern immutable and persistent data structures for C++ — value semantics at scale

C++17 Run-time Polymorphism (Type Erasure) library

The missing CMake project initializer

C++17 library that implements the execution of graph algorithms during compilation.

C++20 coroutine library

A library of C++ coroutine abstractions for the coroutines TS

Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4

Write C shims from within Lean code.

Lean 4 port of Iris, a higher-order concurrent separation logic framework

Intuitive, type-safe expression quotations for Lean 4.

Some Lean tutorials

A Testing Framework for Lean

WIP collections library for Lean 4

SDL2 bindings for lean

Scientific computing in Lean 4

Incremental story sifting DSL

A ready-to-fork interpreted functional language with type inference

Predicates that can explain themselves