typelevel-programming

A library for programming case branching in Haskell

Lightweight Scala 3 library for materializing types into values at compile time.

Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric

Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

Bootstraping LISP in Typescripts type system

Sensible, performant primitives for writing semantic TypeScript code

Typelevel http service definition DSL

Generic programming for Scala

Exploring type-level programming in Rust

Implementation of tuples as a flat heterogeneous array, for FFI

type-level combinators for quickcheck instances

Utility library that helps expressing invariants in types

Model complex data transformation pipelines easily

Backend architecture representation in TLP

Some type-level magic in some languages.

Fast typelevel arithmetic 🧮 using symbols

Non trivial Type Programming in Typescript

Inductive proofs in Rust

This repo contains multiple projects made using Functional Programming and and BigData tools

Heterogeneously typed exception handling for Haskell