A well-typed Directed Acyclic Graph in Haskell
-
Updated
Jan 25, 2015 - Haskell
A well-typed Directed Acyclic Graph in Haskell
Additional operations for GHC's type-level symbols
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
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.
Euclidean geometry primitives w/ a type-level twist.
A macro for defining type operators in Rust.
Tensor on Spark.
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Introduction to type level programming in Scala.
Type-level dimensional analysis for OCaml
Bit operations and bit fields at type level
Proving Ground: Tools for Automated Mathematics
Trying to get back all the stuff I had in JavaScript.
Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
A collection of useful operators to make type-level programming in TypeScript easier
A Haskell library for typesafe music composition
Type-level Fizz Buzz implementations
Type-level lambda calculus in Flow via $Call
Alcuni appunti sul libro "Thinking With Types", di Sandy Maguire
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."