Projects in Awesome Lists tagged with typelevel-programming
A curated list of projects in awesome lists tagged with typelevel-programming .
https://github.com/tofu-tf/typed-schema
Typelevel http service definition DSL
akka-http http-server open-api-v3 scala swagger typelevel-programming
Last synced: 09 Apr 2025
https://github.com/dmytromitin/auxify
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
code-generation dependent-types extension-methods macros metaprogramming scala scalafix scalameta semanticdb shapeless simulacrum typeclass typeclasses typelevel-programming
Last synced: 06 Sep 2025
https://github.com/athanclark/purescript-tuples-native
Implementation of tuples as a flat heterogeneous array, for FFI
arrays heterogeneous-data purescript typelevel-programming
Last synced: 15 Nov 2025
https://github.com/sigma-andex/purescript-typelevel-arithmetic
Fast typelevel arithmetic 🧮 using symbols
typelevel typelevel-programming
Last synced: 10 Jul 2025
https://github.com/natserract/tapi
Backend architecture representation in TLP
haskell learn typelevel-programming
Last synced: 04 Apr 2025
https://github.com/gvolpe/shapeless-demo
Shapeless playground
book shapeless typelevel typelevel-programming
Last synced: 16 May 2025
https://github.com/athanclark/purescript-quickcheck-combinators
Typelevel combinators for quickcheck, in purescript
data-generation purescript quickcheck quickcheck-combinators typelevel-programming
Last synced: 24 Jan 2026
https://github.com/traversable/schema
🍊 Squeeze more juice from your TypeScript schemas
json-schema reflection schema-validation typelevel-programming typescript
Last synced: 07 May 2025
https://github.com/janschultecom/kolgut-api
Schema-safe http api using Idris+Rust
dependent-types http idris rust swagger type-providers typelevel-programming
Last synced: 14 Mar 2025
https://github.com/athanclark/quickcheck-combinators
type-level combinators for quickcheck instances
haskell quickcheck quickcheck-combinators typelevel-programming
Last synced: 01 Sep 2025
https://github.com/scytrowski/mat
Lightweight Scala 3 library for materializing types into values at compile time.
compiletime scala scala3 typelevel typelevel-programming
Last synced: 14 Jan 2026
https://github.com/mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
compile-time-meta-programming curry-howard-isomorphism dependent-type-theory dependent-types first-order-logic idris path-dependent path-dependent-types phantom-types polymorphic-functions polymorphic-types scala3 scala3-metaprogramming type-programming typed-lambda-calculus typelevel-programming union-types workshop workshop-materials
Last synced: 23 Feb 2025
https://github.com/gailo22/scala-practicing
Scala Practicing project
algorithms cats graph scala typelevel-programming
Last synced: 23 Aug 2025