👾 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.

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

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

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

Comptime radix tree in Zig

Lightweight Scala 3 library for materializing types into values at compile time.

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

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

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

Compile time string literal encryptor

Blazing fast C++ primitives for everyday coding - strings, colors, positions, delegates, and more—featuring the insanely fast StringAtom

Sudoku game, implemented in the TypeScript type system

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"

Declarative compile- and run-time type checking.