Explore Projects

Discover 5 open source projects

Active filters (1):

Search: type-level×

Clear all

Showing 1-5 of 5 projects

gvergnaud/hotscript

A TypeScript library for powerful type-level programming and transformation.

3.7K

Archived

TypeScript

CLI Tools

API Clients & Testing

TypeScript

#type-level-programming#typescript#composable-functions

milessabin/shapeless

A generic programming library for Scala that enables advanced type-level programming

3.4K

Active

Scala

Backend Frameworks

CLI Tools

Scala

#functional-programming#generic-programming#type-level-programming

typedgrammar/typed-japanese

A TypeScript library for learning Japanese grammar through type-level programming and DSLs.

1.9K

Experimental

TypeScript

Tutorials & Courses

Frontend Frameworks

TypeScript

#japanese#grammar#type-level-programming

lloydmeta/frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

1.4K

Stable

Rust

API Frameworks

CLI Tools

#coproduct#datatype-generic-programming#fp

hadronized/luminance-rs

A type-safe, type-level and stateless Rust graphics framework for GPU, OpenGL, Vulkan and WebGL development.

1.1K

Archived

Rust

API Frameworks

CLI Tools

#graphics#gpu#opengl

Stay in the loop

Get weekly updates on trending AI coding tools and projects.