Here are
9 public repositories
matching this topic...
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Updated
Oct 19, 2017
Scala
Access Scala language features on the type-level
Updated
Aug 19, 2024
Scala
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
Updated
Oct 26, 2016
Scala
A linked list with compile time size.
Updated
Aug 18, 2021
Scala
Updated
May 18, 2017
Scala
A journey from Procedural to Object-Oriented, to Functional Type-level implementations for managing state.
Updated
May 18, 2020
Scala
Collections raised to the type-level in Scala
Updated
Jan 25, 2025
Scala
An Scala type-indexed set, checked at compile time.
Updated
Sep 26, 2022
Scala
Introduction to type level programming in Scala.
Updated
Nov 12, 2017
Scala
Improve this page
Add a description, image, and links to the
type-level-programming
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
type-level-programming
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.