#

type-level-programming

Here are 40 public repositories matching this topic...

krzkaczor / ts-essentials

Star

All basic TypeScript types in one place 🤙

typescript types toolbox essentials type-level-programming

Updated Oct 17, 2020
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 Aug 10, 2020
Rust

kcsongor / generic-lens

Star

Generically derive traversals, lenses, and prisms.

generics lenses optics type-level-programming traversals

Updated Oct 6, 2020
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 Jun 3, 2020
Haskell

serokell / o-clock

Star

⌛ Type-safe time units in Haskell

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

Updated Jul 12, 2020
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

konn / type-natural

Star

Type-level well-kinded natural numbers.

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

Updated Jun 22, 2020
Haskell

ThoughtWorksInc / feature.scala

Star

Access Scala language features on the type-level

dependent-types scala type-level-programming

Updated Sep 10, 2020
Scala

kcsongor / symbols

Star

Symbol manipulation

haskell symbols type-level-programming

Updated Sep 10, 2019
Haskell

danieljharvey / purescript-refined

Star

Purescript refinement types with runtime checking

purescript type-level-programming refined

Updated Jul 1, 2020
PureScript

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

danidiaz / red-black-record

Star

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

haskell type-level-programming higher-kinded

Updated May 30, 2020
Haskell

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

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 Jul 16, 2020
TypeScript

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

Star

Sized sequence data-types

haskell dependent-types containers ghc type-level-programming

Updated Sep 25, 2020
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

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

Star

Additional operations for GHC's type-level symbols

haskell symbols ghc type-level-programming

Updated Oct 2, 2016
Haskell

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

konn / ghc-typelits-presburger

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 22, 2020
Haskell

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 Oct 20, 2020
Haskell

0x414c / type-ops

Star

A collection of useful operators to make type-level programming in TypeScript easier

testing typescript types operators typings type-level type-level-programming

Updated Feb 25, 2019
TypeScript

WaffleLapkin / minihlist

Star

A minimalistic yet powerful HList (heterogeneous list) implementation in Rust

rust fp hlist type-level type-level-programming

Updated Jul 27, 2020
Rust

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

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."

You can’t perform that action at this time.