A collection of my Typescript patterns and experiments with a focus on type-level programming.
-
Updated
Apr 26, 2024 - TypeScript
A collection of my Typescript patterns and experiments with a focus on type-level programming.
Type-level stack operations.
Alcuni appunti sul libro "Thinking With Types", di Sandy Maguire
Learn advanced types of typescript with type-challenges
Introduction to type level programming in Scala.
Experimental wrapper for opengl in haskell.
Euclidean geometry primitives w/ a type-level twist.
TypeScript code that attempts to execute some computations on a type-level
Bit operations and bit fields at type level
Support for code that is generic over the size of an array type (`[T; const n: usize]`). This crate will continue to be maintained until type level integers are fully supported in Rust.
Type-level lambda calculus in Flow via $Call
An Scala type-indexed set, checked at compile time.
Collections raised to the type-level in Scala
Type-level Fizz Buzz implementations
A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!
Proving Ground: Tools for Automated Mathematics
Highly experimental TypeScript project providing a type-level lambda.
A minimalistic yet powerful HList (heterogeneous list) implementation in Rust
"Generic generics" / higher-kinded APIs in stable Rust.
Add a description, image, and links to the type-level-programming topic page so that developers can more easily learn about it.
To associate your repository with the type-level-programming topic, visit your repo's landing page and select "manage topics."