GitHub topics: type-level-programming
DimaSamoz/mezzo
A Haskell library for typesafe music composition
Language: Haskell - Size: 1.2 MB - Last synced at: 1 day ago - Pushed at: over 6 years ago - Stars: 363 - Forks: 12
tharropoulos/typesense-ts
A fully type-safe Typesense client for type-heads
Language: TypeScript - Size: 338 KB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 2 - Forks: 0
sdleffler/type-operators-rs
A macro for defining type operators in Rust.
Language: Rust - Size: 597 KB - Last synced at: about 7 hours ago - Pushed at: about 8 years ago - Stars: 64 - Forks: 2
ts-essentials/ts-essentials
All essential TypeScript types in one place 🤙
Language: TypeScript - Size: 688 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 3,932 - Forks: 128
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.
Language: TypeScript - Size: 794 KB - Last synced at: 11 days ago - Pushed at: 5 months ago - Stars: 3,601 - Forks: 59
Snowflyt/hkt-core
🍃 A micro HKT (higher-kinded type) implementation for TypeScript, with type safety elegantly guaranteed.
Language: TypeScript - Size: 926 KB - Last synced at: 12 days ago - Pushed at: about 1 month ago - Stars: 54 - Forks: 0
lloydmeta/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
Language: Rust - Size: 11.9 MB - Last synced at: 21 days ago - Pushed at: 3 months ago - Stars: 1,347 - Forks: 59
unional/type-plus
Additional types and types adjusted utilities for TypeScript
Language: TypeScript - Size: 51.3 MB - Last synced at: 11 days ago - Pushed at: 27 days ago - Stars: 393 - Forks: 11
konn/ghc-typelits-presburger
Presburger arithmetic solver for built-in type-level naturals
Language: Haskell - Size: 1.27 MB - Last synced at: 4 days ago - Pushed at: 5 months ago - Stars: 9 - Forks: 6
dqbd/ts-math-evaluate
Type-level math expression evaluator for TypeScript.
Language: TeX - Size: 13.3 MB - Last synced at: 17 days ago - Pushed at: about 2 years ago - Stars: 21 - Forks: 1
gvergnaud/type-level-typescript-workshop
Interactive exercises to get familiar with TypeScript's most advanced features
Language: TypeScript - Size: 205 KB - Last synced at: 20 days ago - Pushed at: over 2 years ago - Stars: 241 - Forks: 25
softwaremill/walk-that-type
A tool for evaluating TypeScript types step by step.
Language: TypeScript - Size: 6.6 MB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 43 - Forks: 0
geoffreytools/free-types
A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
Language: TypeScript - Size: 243 KB - Last synced at: about 1 month ago - Pushed at: almost 2 years ago - Stars: 159 - Forks: 1
kcsongor/generic-lens
Generically derive traversals, lenses, and prisms.
Language: Haskell - Size: 1020 KB - Last synced at: 17 days ago - Pushed at: 2 months ago - Stars: 441 - Forks: 55
typedgrammar/typed-japanese
🌸 Learn Japanese grammar with TypeScript
Language: TypeScript - Size: 181 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 1,541 - Forks: 15
danielhenrymantilla/higher-kinded-types.rs
"Generic generics" / higher-kinded APIs in stable Rust.
Language: Rust - Size: 146 KB - Last synced at: 26 days ago - Pushed at: 2 months ago - Stars: 11 - Forks: 2
higherkindness/mu-haskell 📦
Mu (μ) is a purely functional framework for building micro services.
Language: Haskell - Size: 10.5 MB - Last synced at: 1 day ago - Pushed at: 10 months ago - Stars: 334 - Forks: 19
mieszkosabo/correttore
A proof of concept of a tree shakable Zod alternative. This library aims to have a 1:1 Zod compatible API, but with fine grain control over the final bundle size. This was done by a combination of Proxies and type-level programming.
Language: TypeScript - Size: 133 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 94 - Forks: 5
Dkendal/Newtype
type level programming that compiles to typescript.
Language: Rust - Size: 500 KB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 6 - Forks: 0
konn/sized
Sized sequence data-types
Language: Haskell - Size: 614 KB - Last synced at: 2 months ago - Pushed at: 4 months ago - Stars: 11 - Forks: 1
athanclark/dag
A well-typed Directed Acyclic Graph in Haskell
Language: Haskell - Size: 281 KB - Last synced at: 2 months ago - Pushed at: over 10 years ago - Stars: 14 - Forks: 2
mieszkosabo/tartak
Tartak is a functional programming language that compiles to TypeScript types.
Language: TypeScript - Size: 222 KB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 111 - Forks: 0
betafcc/dtsr
Use your .d.ts files as the main code
Language: JavaScript - Size: 28.3 KB - Last synced at: 25 days ago - Pushed at: 4 months ago - Stars: 10 - Forks: 0
propensive/typonym
Collections raised to the type-level in Scala
Language: Scala - Size: 646 KB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0
ThoughtWorksInc/feature.scala
Access Scala language features on the type-level
Language: Scala - Size: 501 KB - Last synced at: about 1 month ago - Pushed at: 10 months ago - Stars: 31 - Forks: 3
konn/type-natural
Type-level well-kinded natural numbers.
Language: Haskell - Size: 555 KB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 34 - Forks: 12
decorator-factory/ts-generic-rep
Highly experimental TypeScript project providing a type-level lambda.
Language: TypeScript - Size: 3.91 KB - Last synced at: 6 days ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 0
i-am-tom/learn-me-a-haskell
Trying to get back all the stuff I had in JavaScript.
Language: Haskell - Size: 138 KB - Last synced at: 8 days ago - Pushed at: over 6 years ago - Stars: 69 - Forks: 1
kowainik/membrain
🧠 Type-safe memory units
Language: Haskell - Size: 47.9 KB - Last synced at: 7 days ago - Pushed at: over 4 years ago - Stars: 61 - Forks: 4
serokell/o-clock
:hourglass: Type-safe time units in Haskell
Language: Haskell - Size: 304 KB - Last synced at: 15 days ago - Pushed at: 5 months ago - Stars: 49 - Forks: 6
danieljharvey/purescript-refined
Purescript refinement types with runtime checking
Language: PureScript - Size: 23.4 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 25 - Forks: 2
fwcd/tylude
Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types
Language: TypeScript - Size: 16.6 KB - Last synced at: 2 months ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0
Kittonn/type-hero
Type Hero Challenges
Language: TypeScript - Size: 5.86 KB - Last synced at: 2 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0
McMasterU/HashedExpression
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Language: Haskell - Size: 49.6 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 42 - Forks: 3
kcsongor/symbols
Symbol manipulation
Language: Haskell - Size: 17.6 KB - Last synced at: about 2 months ago - Pushed at: about 2 years ago - Stars: 36 - Forks: 3
geoffreytools/type-lenses
Extract or modify pieces of arbitrarily nested types with type lenses
Language: TypeScript - Size: 211 KB - Last synced at: about 1 month ago - Pushed at: about 1 year ago - Stars: 26 - Forks: 0
devanshj/prakaar
A type programming language which compiles to and interops with type-level TypeScript
Language: TypeScript - Size: 53.7 KB - Last synced at: 4 days ago - Pushed at: over 2 years ago - Stars: 20 - Forks: 0
ENvironmentSet/ts-transfromer-typerep
Bring type level information to value level.
Language: TypeScript - Size: 49.8 KB - Last synced at: 4 days ago - Pushed at: 10 months ago - Stars: 19 - Forks: 1
cmhteixeira/typed-list
A linked list with compile time size.
Language: Scala - Size: 140 KB - Last synced at: 2 months ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 0
Veetaha/ts-typedefs
A handy collection of TypeScript plain and generic type definitions and interfaces.
Language: TypeScript - Size: 2.12 MB - Last synced at: 22 days ago - Pushed at: over 2 years ago - Stars: 13 - Forks: 0
majjoha/typology
Playground for exploring type-level programming.
Language: TypeScript - Size: 1.41 MB - Last synced at: 4 days ago - Pushed at: 12 months ago - Stars: 6 - Forks: 0
danidiaz/red-black-record
Extensible records and variants indexed by a type-level Red-Black tree.
Language: Haskell - Size: 372 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 18 - Forks: 1
maheshsundaram/ts-notes
A collection of my Typescript patterns and experiments with a focus on type-level programming.
Language: TypeScript - Size: 105 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0
vitorsvieira/dilate
Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
Language: Scala - Size: 186 KB - Last synced at: about 1 year ago - Pushed at: over 7 years ago - Stars: 81 - Forks: 5
geoffreytools/ts-spec
A small library for testing your types
Language: TypeScript - Size: 134 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 14 - Forks: 0
eilvelia/flow-lambda 📦
Type-level lambda calculus in Flow via $Call
Language: JavaScript - Size: 32.2 KB - Last synced at: 9 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
erhant/type-stacks
Type-level stack operations.
Language: TypeScript - Size: 5.86 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
cyril-allignol/ocaml-dimensions
Type-level dimensional analysis for OCaml
Language: OCaml - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: about 7 years ago - Stars: 9 - Forks: 1
InternetOfPins/OneBit
Bit operations and bit fields at type level
Language: C++ - Size: 211 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 1
logicalguess/type-intro
Introduction to type level programming in Scala.
Language: Scala - Size: 916 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0
buritos/phantom-state-machine
A journey from Procedural to Object-Oriented, to Functional Type-level implementations for managing state.
Language: Scala - Size: 717 KB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 5 - Forks: 0
phenax/brainfuck-ts-types
A brainfuck interpreter running within the typescript type system
Language: TypeScript - Size: 13.7 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0
0x414c/type-ops
A collection of useful operators to make type-level programming in TypeScript easier
Language: TypeScript - Size: 354 KB - Last synced at: 16 days ago - Pushed at: over 6 years ago - Stars: 6 - Forks: 0
phenax/ts-types-runtime
A runtime for typescript's type system that turns it into a general purpose, purely functional programming language with effects!
Language: TypeScript - Size: 172 KB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
chaomai/ParaTen
Tensor on Spark.
Language: Scala - Size: 525 KB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 8 - Forks: 1
DmytroMitin/ProvingGround Fork of siddhartha-gadgil/ProvingGround
Proving Ground: Tools for Automated Mathematics
Language: Jupyter Notebook - Size: 56 MB - Last synced at: about 2 years ago - Pushed at: almost 7 years ago - Stars: 2 - Forks: 1
thedenisnikulin/type-level-sort
im so smart please hire me
Language: Rust - Size: 7.81 KB - Last synced at: over 2 years ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0
gtestault/primitive-recursive-functions
Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
Language: Rust - Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 36 - Forks: 1
YBogomolov/talk-typelevel-ts
Code samples for my talk “Type-level programming in TypeScript”
Language: TypeScript - Size: 13.3 MB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 28 - Forks: 0
vic/typeset
An Scala type-indexed set, checked at compile time.
Language: Scala - Size: 25.4 KB - Last synced at: 26 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0
WaffleLapkin/minihlist
A minimalistic yet powerful HList (heterogeneous list) implementation in Rust
Language: Rust - Size: 39.1 KB - Last synced at: 7 days ago - Pushed at: almost 5 years ago - Stars: 4 - Forks: 0
beefyhalo/dense
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
Language: Scala - Size: 14.6 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 10 - Forks: 1
edoardomistretta/type-level-computations-within-typescript
TypeScript code that attempts to execute some computations on a type-level
Language: TypeScript - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
danieljharvey/migratable
Haskell library to ease the pain of versioning and migrating data types
Language: Haskell - Size: 29.3 KB - Last synced at: 18 days ago - Pushed at: almost 6 years ago - Stars: 8 - Forks: 0
Simre1/LambdaGL
Experimental wrapper for opengl in haskell.
Language: Haskell - Size: 15.6 KB - Last synced at: 19 days ago - Pushed at: about 5 years ago - Stars: 0 - Forks: 0
konn/ghc-typelits-symbols
Additional operations for GHC's type-level symbols
Language: Haskell - Size: 16.6 KB - Last synced at: about 2 months ago - Pushed at: over 8 years ago - Stars: 6 - Forks: 0
sestrella/fizz-buzz.hs
Type-level Fizz Buzz implementations
Language: Haskell - Size: 12.7 KB - Last synced at: 8 months ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0
mattyonweb/thinking-with-types-appunti
Alcuni appunti sul libro "Thinking With Types", di Sandy Maguire
Language: Haskell - Size: 3.91 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0
joewkr/SIUnits
Language: Haskell - Size: 77.1 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
jonysy/array
Support for code that is generic over the size of an array type (`[T; const n: usize]`). This crate will continue to be maintained until type level integers are fully supported in Rust.
Language: Rust - Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
lychee-eng/euclidean
Euclidean geometry primitives w/ a type-level twist.
Language: Rust - Size: 10.7 KB - Last synced at: about 2 years ago - Pushed at: over 8 years ago - Stars: 0 - Forks: 0
