Utility library that helps expressing invariants in types
-
Updated
Mar 28, 2023 - C++
Utility library that helps expressing invariants in types
mrd-parser shapeless and scodec test implementation
experiment FP in java
Heterogeneously typed exception handling for Haskell
Typelevel combinators for quickcheck, in purescript
Implementation of differential privacy in Haskell
Data migrations through implicit function composition at the type-level
Exploring type-level programming in Rust
Schema-safe http api using Idris+Rust
Some type-level magic in some languages.
Generic programming for Scala
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
This repo contains multiple projects made using Functional Programming and and BigData tools
Non trivial Type Programming in Typescript
Backend architecture representation in TLP
Fast typelevel arithmetic 🧮 using symbols
Add a description, image, and links to the typelevel-programming topic page so that developers can more easily learn about it.
To associate your repository with the typelevel-programming topic, visit your repo's landing page and select "manage topics."