Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists tagged with type-level-programming

A curated list of projects in awesome lists tagged with type-level-programming .

https://github.com/ts-essentials/ts-essentials

All essential TypeScript types in one place 🤙

essentials toolbox type-level-programming types typescript

Last synced: 19 Apr 2025

https://github.com/krzkaczor/ts-essentials

All essential TypeScript types in one place 🤙

essentials toolbox type-level-programming types typescript

Last synced: 14 Jan 2025

https://github.com/gvergnaud/hotscript

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

type-level-programming typescript

Last synced: 08 Apr 2025

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: 08 Apr 2025

https://github.com/kcsongor/generic-lens

Generically derive traversals, lenses, and prisms.

generics lenses optics traversals type-level-programming

Last synced: 08 Apr 2025

https://github.com/unional/type-plus

Additional types and types adjusted utilities for TypeScript

npm-package type-level-programming type-system types typescript typescript-definitions utilities

Last synced: 13 Apr 2025

https://github.com/gvergnaud/type-level-typescript-workshop

Interactive exercises to get familiar with TypeScript's most advanced features

course tutorial type-level-programming types typescript workshop

Last synced: 09 Apr 2025

https://github.com/i-am-tom/learn-me-a-haskell

Trying to get back all the stuff I had in JavaScript.

dependent-types ghc haskell type-level-programming

Last synced: 20 Mar 2025

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: 22 Nov 2024

https://github.com/serokell/o-clock

:hourglass: Type-safe time units in Haskell

haskell rational-numbers time type-level-programming type-safety

Last synced: 05 Apr 2025

https://github.com/snowflyt/hkt-core

🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.

higher-kinded-types hkt type-level-programming typescript

Last synced: 17 Apr 2025

https://github.com/kcsongor/symbols

Symbol manipulation

haskell symbols type-level-programming

Last synced: 17 Apr 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: 17 Nov 2024

https://github.com/thoughtworksinc/feature.scala

Access Scala language features on the type-level

dependent-types scala type-level-programming

Last synced: 12 Nov 2024

https://github.com/ENvironmentSet/ts-transfromer-typerep

Bring type level information to value level.

type-level-programming typescript typescript-transformer

Last synced: 14 Nov 2024

https://github.com/veetaha/ts-typedefs

A handy collection of TypeScript plain and generic type definitions and interfaces.

essentials type-level-programming types typescript typescript-definitions typescript-interfaces typescript-library

Last synced: 12 Apr 2025

https://github.com/dqbd/ts-math-evaluate

Type-level math expression evaluator for TypeScript.

math parser type-level-programming typescript

Last synced: 01 Jan 2025

https://github.com/athanclark/dag

A well-typed Directed Acyclic Graph in Haskell

dag directed-acyclic-graph graph haskell type-level-programming

Last synced: 28 Dec 2024

https://github.com/danielhenrymantilla/higher-kinded-types.rs

"Generic generics" / higher-kinded APIs in stable Rust.

gat higher-kinded-type hkt lending-iterator rust type-level-programming

Last synced: 09 Apr 2025

https://github.com/cmhteixeira/typed-list

A linked list with compile time size.

compile-time linked-list scala type-level-programming

Last synced: 09 Feb 2025

https://github.com/fwcd/tylude

Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types

peano recursive-conditionals type-level-programming typescript

Last synced: 09 Apr 2025

https://github.com/dkendal/newtype

type level programming that compiles to typescript.

language type-level-programming typescript

Last synced: 11 Apr 2025

https://github.com/konn/ghc-typelits-symbols

Additional operations for GHC's type-level symbols

ghc haskell symbols type-level-programming

Last synced: 11 Apr 2025

https://github.com/phenax/brainfuck-ts-types

A brainfuck interpreter running within the typescript type system

brainfuck interpreter type-level-programming typescript

Last synced: 14 Apr 2025

https://github.com/decorator-factory/ts-generic-rep

Highly experimental TypeScript project providing a type-level lambda.

higher-kinded-types type-level-programming typescript

Last synced: 26 Mar 2025

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: 26 Mar 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/phenax/ts-types-runtime

A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!

effects functional-programming type-level-programming typescript

Last synced: 06 Mar 2025

https://github.com/sestrella/fizz-buzz.hs

Type-level Fizz Buzz implementations

fizz-buzz haskell type-level-programming

Last synced: 28 Mar 2025

https://github.com/vic/typeset

An Scala type-indexed set, checked at compile time.

scala type-indexed-set type-level-programming

Last synced: 16 Feb 2025

https://github.com/erhant/type-stacks

Type-level stack operations.

stack stack-based type-level-programming typescript

Last synced: 02 Mar 2025

https://github.com/simre1/lambdagl

Experimental wrapper for opengl in haskell.

graphics haskell opengl type-level-programming

Last synced: 19 Feb 2025