Topic: type-level-programming Goto Github
Some thing interesting about type-level-programming
Some thing interesting about type-level-programming
type-level-programming,A collection of useful operators to make type-level programming in TypeScript easier
User: 0x414c
Home Page: https://npm.im/type-ops
type-level-programming,A well-typed Directed Acyclic Graph in Haskell
User: athanclark
type-level-programming,A Type-Level Encoding of Natural Numbers as a Linked List of Bits
User: beefyhalo
type-level-programming,A journey from Procedural to Object-Oriented, to Functional Type-level implementations for managing state.
User: buritos
type-level-programming,Tensor on Spark.
User: chaomai
type-level-programming,A linked list with compile time size.
User: cmhteixeira
type-level-programming,Type-level dimensional analysis for OCaml
User: cyril-allignol
type-level-programming,Extensible records and variants indexed by a type-level Red-Black tree.
User: danidiaz
type-level-programming,"Generic generics" / higher-kinded APIs in stable Rust.
User: danielhenrymantilla
Home Page: https://docs.rs/higher-kinded-types
type-level-programming,Haskell library to ease the pain of versioning and migrating data types
User: danieljharvey
type-level-programming,Purescript refinement types with runtime checking
User: danieljharvey
type-level-programming,Highly experimental TypeScript project providing a type-level lambda.
User: decorator-factory
type-level-programming,A type programming language which compiles to and interops with type-level TypeScript
User: devanshj
type-level-programming,A Haskell library for typesafe music composition
User: dimasamoz
type-level-programming,type level programming that compiles to typescript.
User: dkendal
type-level-programming,Type-level math expression evaluator for TypeScript.
User: dqbd
Home Page: https://ts-math-evaluate.vercel.app/
type-level-programming,Bring type level information to value level.
User: environmentset
Home Page: https://stackblitz.com/edit/webpack-webpack-js-org-7mxehx?file=src%2Fmain.ts
type-level-programming,Type-level Peano arithmetic, lists and more using TypeScript 4.1's recursive conditional types
User: fwcd
type-level-programming,A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Also referred to as higher kinded types.
User: geoffreytools
type-level-programming,A small library for testing your types
User: geoffreytools
type-level-programming,Extract or modify pieces of arbitrarily nested types with type lenses
User: geoffreytools
type-level-programming,Implementation of game of life and a bunch of primitive recursive functions at the type level in rust
User: gtestault
type-level-programming,A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.
User: gvergnaud
type-level-programming,Interactive exercises to get familiar with TypeScript's most advanced features
User: gvergnaud
Home Page: https://type-level-typescript.com/
type-level-programming,Mu (μ) is a purely functional framework for building micro services.
Organization: higherkindness
Home Page: http://higherkindness.io/mu-haskell/
type-level-programming,Trying to get back all the stuff I had in JavaScript.
User: i-am-tom
type-level-programming,Generically derive traversals, lenses, and prisms.
User: kcsongor
type-level-programming,Presburger arithmetic solver for built-in type-level naturals
User: konn
type-level-programming,Additional operations for GHC's type-level symbols
User: konn
type-level-programming,Sized sequence data-types
User: konn
type-level-programming,Type-level well-kinded natural numbers.
User: konn
type-level-programming,Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
User: lloydmeta
Home Page: https://beachape.com/frunk/
type-level-programming,Playground for exploring type-level programming.
User: majjoha
Home Page: https://github.com/majjoha/typology
type-level-programming,Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Organization: mcmasteru
Home Page: https://github.com/McMasterU/HashedExpression
type-level-programming,A proof of concept of a tree shakable Zod alternative. This library aims to have a 1:1 Zod compatible API, but with fine grain control over the final bundle size. This was done by a combination of Proxies and type-level programming.
User: mieszkosabo
type-level-programming,Tartak is a functional programming language that compiles to TypeScript types.
User: mieszkosabo
type-level-programming,A brainfuck interpreter running within the typescript type system
User: phenax
type-level-programming,A macro for defining type operators in Rust.
User: sdleffler
type-level-programming,:hourglass: Type-safe time units in Haskell
Organization: serokell
type-level-programming,A tool for evaluating TypeScript types step by step.
Organization: softwaremill
Home Page: https://walk-that-type.sml.io/
type-level-programming,im so smart please hire me
User: thedenisnikulin
type-level-programming,Access Scala language features on the type-level
Organization: thoughtworksinc
type-level-programming,All essential TypeScript types in one place 🤙
Organization: ts-essentials
type-level-programming,Additional types and types adjusted utilities for TypeScript
User: unional
Home Page: https://unional.github.io/type-plus/
type-level-programming,A handy collection of TypeScript plain and generic type definitions and interfaces.
User: veetaha
type-level-programming,Nearly zero runtime object allocation powered by scalameta. Value class and Unboxed Tagged Type generation at compile-time.
User: vitorsvieira
Home Page: https://www.scala-lang.org/blog/2017/10/09/scalamacros.html
type-level-programming,A minimalistic yet powerful HList (heterogeneous list) implementation in Rust
User: wafflelapkin
type-level-programming,Code samples for my talk “Type-level programming in TypeScript”
User: ybogomolov
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.