The Wayback Machine - https://web.archive.org/web/20210801233546/https://github.com/topics/type-level-programming

#

type-level-programming

Here are 44 public repositories matching this topic...

krzkaczor / ts-essentials

Star

All basic TypeScript types in one place 🤙

typescript types toolbox essentials type-level-programming

Updated Jul 31, 2021
TypeScript

lloydmeta / frunk

Star

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

rust generic fp generic-programming lenses hlist type-level type-level-programming validated labelled-generic coproduct datatype-generic-programming

Updated Jul 17, 2021
Rust

kcsongor / generic-lens

Sponsor Star

Generically derive traversals, lenses, and prisms.

generics lenses optics type-level-programming traversals

Updated Jul 13, 2021
Haskell

DimaSamoz / mezzo

Star

A Haskell library for typesafe music composition

haskell dependent-types midi music-composition haskell-library music-notation type-level-programming

Updated Mar 3, 2019
Haskell

higherkindness / mu-haskell

Star

Open

Better error messages when .proto/.avdl parsing fails

2

cb372 commented Mar 31, 2020

Here's a .avdl file with a deliberate typo.

@namespace("integrationtest")
protocol WeatherService {

  record GetForecastRequest {
    // NOTE: missing semicolon
    string city
    int days_required;
  }

  enum Weather {
    SUNNY,
    CLOUDY,
    RAINY
  }

  record GetForecastResponse {
    string last_updated;
    array<Weather> daily_forecasts;
  }

  void

Read more

enhancement good first issue hacktoberfest help wanted

vitorsvieira / dilate

Star

Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.

scala ddd typelevel metaprogramming macros scala-macros type-safety type-checking scalameta ddd-patterns type-level-programming newtype funcional-programming

Updated Oct 19, 2017
Scala

i-am-tom / learn-me-a-haskell

Star

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

haskell dependent-types ghc type-level-programming

Updated Oct 7, 2018
Haskell

kowainik / membrain

Star

🧠 Type-safe memory units

haskell library memory measure units safe type-level-programming

Updated Nov 6, 2020
Haskell

serokell / o-clock

Star

⌛ Type-safe time units in Haskell

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

Updated Jul 29, 2021
Haskell

sdleffler / type-operators-rs

Star

A macro for defining type operators in Rust.

rust dsl macros type-system type-level type-level-programming

Updated Mar 16, 2017
Rust

gtestault / primitive-recursive-functions

Star

Implementation of game of life and a bunch of primitive recursive functions at the type level in rust

rust type-level-programming

Updated Dec 13, 2018
Rust

McMasterU / HashedExpression

Star

Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.

machine-learning haskell optimization edsl symbolic type-safety solvers symbolic-computation type-level-programming optimization-algorithms symbolic-differentiation lbfgs ipopt lbfgs-b

Updated Jul 24, 2021
Haskell

konn / type-natural

Sponsor Star

Type-level well-kinded natural numbers.

haskell dependent-types proof-assistant ghc type-level type-level-programming

Updated Jun 6, 2021
Haskell

kcsongor / symbols

Sponsor Star

Symbol manipulation

haskell symbols type-level-programming

Updated Sep 10, 2019
Haskell

ThoughtWorksInc / feature.scala

Star

Access Scala language features on the type-level

dependent-types scala type-level-programming

Updated Jul 13, 2021
Scala

YBogomolov / talk-typelevel-ts

Star

Code samples for my talk “Type-level programming in TypeScript”

typescript types functional-programming type-level-programming fp-ts

Updated Nov 2, 2019
TypeScript

danieljharvey / purescript-refined

Star

Purescript refinement types with runtime checking

purescript type-level-programming refined

Updated Jul 1, 2020
PureScript

danidiaz / red-black-record

Star

Extensible records and variants indexed by a type-level Red-Black tree.

haskell type-level-programming higher-kinded

Updated Mar 7, 2021
Haskell

Veetaha / ts-typedefs

Star

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

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

Updated Jun 9, 2021
TypeScript

ENvironmentSet / ts-transfromer-typerep

Star

Bring type level information to value level.

typescript type-level-programming typescript-transformer

Updated Apr 6, 2021
TypeScript

athanclark / dag

Star

A well-typed Directed Acyclic Graph in Haskell

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

Updated Jan 25, 2015
Haskell

beefyhalo / dense

Star

A Type-Level Encoding of Natural Numbers as a Linked List of Bits

scala nat shapeless type okasaki type-level type-level-programming

Updated Oct 26, 2016
Scala

cyril-allignol / ocaml-dimensions

Star

Type-level dimensional analysis for OCaml

ocaml ocaml-library dimensional-analysis type-level-programming

Updated Apr 23, 2018
OCaml

konn / sized

Sponsor Star

Sized sequence data-types

haskell dependent-types containers ghc type-level-programming

Updated Jun 6, 2021
Haskell

typed-list

cmhteixeira / typed-list

Star

A linked list with compile time size.

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

Updated Jul 5, 2021
Scala

chaomai / ParaTen

Star

Tensor on Spark.

scala spark tensor-factorization tensor multidimensional-arrays type-level-programming tensor-decomposition cp-decomposition

Updated May 18, 2017
Scala

danieljharvey / migratable

Star

Haskell library to ease the pain of versioning and migrating data types

haskell type-level-programming type-families migration-tool

Updated Jul 21, 2019
Haskell

konn / ghc-typelits-symbols

Sponsor Star

Additional operations for GHC's type-level symbols

haskell symbols ghc type-level-programming

Updated Oct 2, 2016
Haskell

buritos / phantom-state-machine

Star

A journey from Procedural to Object-Oriented, to Functional Type-level implementations for managing state.

scala state-management state-machine oop fp procedural type-level-programming

Updated May 18, 2020
Scala

konn / ghc-typelits-presburger

Sponsor Star

Presburger arithmetic solver for built-in type-level naturals

haskell dependent-types solver ghc type-level-programming compiler-plugin presburger-arithmetic-solver ghc-plugin

Updated Jun 6, 2021
Haskell

Improve this page

Add a description, image, and links to the type-level-programming topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the type-level-programming topic, visit your repo's landing page and select "manage topics."