type-level-programming

Star

Here are 50 public repositories matching this topic...

ts-essentials / ts-essentials

Star

Open

Add createFactoryWithConstrain function utility

Beraliv commented Jun 29, 2022

Add new function utility which is useful in tests:

const createFactoryWithConstrain =
    <Constrain>() =>
    <U extends Constrain>(value: U): U =>
        value;

Playground with use cases – tsplay.dev/Ndo6Yw

enhancement good first issue

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 Dec 17, 2021
Rust

kcsongor / generic-lens

Sponsor

Star

Generically derive traversals, lenses, and prisms.

generics lenses optics type-level-programming traversals

Updated Jul 2, 2022
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

Mu (μ) is a purely functional framework for building micro services.

graphql monads haskell avro protocol-buffers grpc rpc hacktoberfest type-level type-level-programming mu defines-schemas mu-haskell mu-graphql

Updated May 12, 2022
Haskell

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

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

serokell / o-clock

Star

⌛ Type-safe time units in Haskell

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

Updated Jun 20, 2022
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 Jun 29, 2022
Haskell

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

Sponsor

Star

Type-level well-kinded natural numbers.

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

Updated Dec 11, 2021
Haskell

kcsongor / symbols

Sponsor

Star

Symbol manipulation

haskell symbols type-level-programming

Updated Sep 10, 2019
Haskell

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 Aug 11, 2021
TypeScript

ThoughtWorksInc / feature.scala

Star

Access Scala language features on the type-level

dependent-types scala type-level-programming

Updated May 24, 2022
Scala

danieljharvey / purescript-refined

Star

Purescript refinement types with runtime checking

purescript type-level-programming refined

Updated Jan 27, 2022
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

ENvironmentSet / ts-transfromer-typerep

Star

Bring type level information to value level.

typescript type-level-programming typescript-transformer

Updated Apr 6, 2021
TypeScript

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 22, 2022
TypeScript

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

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

cyril-allignol / ocaml-dimensions

Star

Type-level dimensional analysis for OCaml

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

Updated Apr 23, 2018
OCaml

cmhteixeira / typed-list

Star

A linked list with compile time size.

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

Updated Aug 18, 2021
Scala

konn / sized

Sponsor

Star

Sized sequence data-types

haskell dependent-types containers ghc type-level-programming

Updated Jun 18, 2022
Haskell

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

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-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 Mar 30, 2022
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."

Learn more

Apr	JUL	Mar
	06
2021	2022	2024