Projects in Awesome Lists tagged with type-level
A curated list of projects in awesome lists tagged with type-level .
https://github.com/lloydmeta/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
coproduct datatype-generic-programming fp generic generic-programming hlist labelled-generic lenses rust type-level type-level-programming validated
Last synced: 12 May 2025
https://github.com/higherkindness/mu-haskell
Mu (μ) is a purely functional framework for building micro services.
avro defines-schemas graphql grpc hacktoberfest haskell monads mu mu-graphql mu-haskell protocol-buffers rpc type-level type-level-programming
Last synced: 25 Mar 2025
https://github.com/justinwoo/purescript-simple-json
A simple Purescript JSON library that uses types automatically
Last synced: 07 Apr 2025
https://github.com/mieszkosabo/tartak
Tartak is a functional programming language that compiles to TypeScript types.
functional-programming programing-language type-level type-level-programming types typescript
Last synced: 09 Mar 2026
https://github.com/sdleffler/type-operators-rs
A macro for defining type operators in Rust.
dsl macros rust type-level type-level-programming type-system
Last synced: 14 Jul 2025
https://github.com/kowainik/eio
🎯 IO with Exceptions tracked on the type-level
haskell haskell-library io type-level
Last synced: 09 Apr 2025
https://github.com/kowainik/type-errors-pretty
💄🐞 Combinators for writing pretty type errors easily
compile-time hacktoberfest haskell pretty type-errors type-level
Last synced: 01 May 2025
https://github.com/softwaremill/walk-that-type
A tool for evaluating TypeScript types step by step.
learning tool type-level type-level-programming types typescript vizualisation
Last synced: 30 Apr 2025
https://github.com/konn/type-natural
Type-level well-kinded natural numbers.
dependent-types ghc haskell proof-assistant type-level type-level-programming
Last synced: 05 Apr 2025
https://github.com/justinwoo/purescript-kushiyaki
A library for PureScript 0.12 using Record-Format to parse urls with a template.
parsing purescript type-level url
Last synced: 23 Jan 2026
https://github.com/justinwoo/purescript-kushikatsu
Simple routing with Kushiyaki.
parsing purescript routing type-level
Last synced: 10 Apr 2026
https://github.com/justinwoo/purescript-biang
A library for converting generic reps of Sum and Product to row types, for whatever convenient usage needs at the type level.
Last synced: 25 Jan 2026
https://github.com/justinwoo/purescript-jajanmen
Cool type-safe Symbol query parameterized helper for Node-SQLite3
purescript query sqlite3 type-level
Last synced: 24 Jan 2026
https://github.com/shou/type-operators
A collection of type-level operators
apply haskell operators type-families type-level typeclass
Last synced: 03 Aug 2025
https://github.com/justinwoo/purescript-type-isequal
Type equality check returning a Boolean kind. Useful for type-level programming.
Last synced: 13 Feb 2026
https://github.com/wafflelapkin/minihlist
A minimalistic yet powerful HList (heterogeneous list) implementation in Rust
fp hlist rust type-level type-level-programming
Last synced: 07 Oct 2025
https://github.com/prostomarkeloff/enum-to-types
Macro for generating pseudo-enums for type-level programming.
Last synced: 28 Jul 2025
https://github.com/kutyel/thinking-with-types
⌨️ Solutions to the exercises of "Thinking With Types" in various programming languages!
gadts haskell kotlin scala type-level type-theory types
Last synced: 03 Aug 2025
https://github.com/propensive/typonym
Collections raised to the type-level in Scala
collections dependent-types scala type-level type-level-programming
Last synced: 11 Apr 2025
https://github.com/justinwoo/purescript-shoronpo
A library for type-level Symbol formatting with other Symbols, e.g. intercalated record labels
formatting purescript symbols type-level
Last synced: 18 Mar 2026
https://github.com/justinwoo/purescript-naporitan
Because sometimes, you want a reflected record of proxies to make life easier.
Last synced: 20 Feb 2026
https://github.com/justinwoo/purescript-chahan
Turn your Generics-Rep Sums and Products into lists, because that's cool.
generics-rep purescript type-level
Last synced: 25 Jan 2026
https://github.com/lue-bird/elm-bounded-nat
natural number in a typed range
elm nat natural-number type-level type-safe
Last synced: 01 Apr 2025
https://github.com/justinwoo/purescript-xiaomian
Make a record of SProxy of keys of a row type easily, and just plug in the inferred type when you're finished.
Last synced: 04 Feb 2026
https://github.com/justinwoo/get-nested-keys
An example of using PureScript 0.12 (RC) instance chains to have recursively matching type classes using instance chains.
instance-chains purescript type-level
Last synced: 24 Jan 2026
https://github.com/justinwoo/purescript-dango
A fun library for sized lists in PureScript 0.12 using Symbols
Last synced: 25 Jan 2026