All basic TypeScript types in one place 🤙
-
Updated
Jun 8, 2021 - TypeScript
#
type-level-programming
Here are 44 public repositories matching this topic...
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
Jun 19, 2021 - Rust
Generically derive traversals, lenses, and prisms.
-
Updated
Feb 11, 2021 - Haskell
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
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
Trying to get back all the stuff I had in JavaScript.
-
Updated
Oct 7, 2018 - Haskell
-
Updated
Jun 14, 2021 - Haskell
A macro for defining type operators in Rust.
-
Updated
Mar 16, 2017 - Rust
Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
-
Updated
Dec 13, 2018 - Rust
Type-level well-kinded natural numbers.
-
Updated
Jun 6, 2021 - Haskell
Access Scala language features on the type-level
-
Updated
Jun 13, 2021 - Scala
Code samples for my talk “Type-level programming in TypeScript”
-
Updated
Nov 2, 2019 - TypeScript
Purescript refinement types with runtime checking
-
Updated
Jul 1, 2020 - PureScript
Extensible records and variants indexed by a type-level Red-Black tree.
-
Updated
Mar 7, 2021 - Haskell
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
Bring type level information to value level.
-
Updated
Apr 6, 2021 - TypeScript
A well-typed Directed Acyclic Graph in Haskell
-
Updated
Jan 25, 2015 - Haskell
Sized sequence data-types
-
Updated
Jun 6, 2021 - Haskell
A Type-Level Encoding of Natural Numbers as a Linked List of Bits
-
Updated
Oct 26, 2016 - Scala
Type-level dimensional analysis for OCaml
-
Updated
Apr 23, 2018 - OCaml
Tensor on Spark.
scala
spark
tensor-factorization
tensor
multidimensional-arrays
type-level-programming
tensor-decomposition
cp-decomposition
-
Updated
May 18, 2017 - Scala
Haskell library to ease the pain of versioning and migrating data types
-
Updated
Jul 21, 2019 - Haskell
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
May 10, 2021 - Haskell
Additional operations for GHC's type-level symbols
-
Updated
Oct 2, 2016 - Haskell
A journey from Procedural to Object-Oriented, to Functional Type-level implementations for managing state.
-
Updated
May 18, 2020 - Scala
A collection of useful operators to make type-level programming in TypeScript easier
-
Updated
Feb 25, 2019 - TypeScript
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.
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."
Here's a
.avdlfile 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