👾 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.
To associate your repository with the compiletime topic, visit your repo's landing page and select "manage topics."