👾 Sokoban Game in Pure TypeScript Type System

Statically-checked string interpolation in Scala

A source code only package which allows you to use .NET's nullable attributes in older target frameworks like .NET Standard 2.0 or the "old" .NET Framework.

A source code only package which allows you to use C# 9's init and record features in older target frameworks like .NET Standard 2.0 or the "old" .NET Framework by providing a polyfill for the IsExternalInit class.

Lightweight Self-Documenting Design by Contract Programming and Security Hardened mode.

Fully working client + server, dev + prod setup for Scala.js development, showcasing a bunch of Laminar & Scala.js patterns.

Compile-time conversion library, from IDA-style string to array (supports wildcarding).

Comptime radix tree in Zig

🔅🔮 Training library of matrices and vectors with mathematical operations using Scala3 compiletime

A templated C++ library for big integers and large floating point numbers.

Compile time string literal encryptor

Sudoku game, implemented in the TypeScript type system

Type reflection, coercion, and generation written in Zig, for Zig.

An esbuild plugin that optimizes runtime execution and bundle size by pre-evaluating some modules before they are imported.

Alter: rename your case class fields at compile time.

Ray tracer implementation in C++ inspired by Jamis Buck's book "The Ray Tracer Challenge"

A modern, highly customizable Chess Move Generation Engine written in C++20, enumerating moves at a speed of up to 1 Billion nodes per second!

Declarative compile- and run-time type checking.