Topic: typelevel-programming Goto Github
Some thing interesting about typelevel-programming
Some thing interesting about typelevel-programming
typelevel-programming,
User: a-nigredo
typelevel-programming,a core set of TS namespaces that overload intrinsic types like "any" and "never"
User: ahrjarrett
Home Page: https://npmjs.com/package/any-ts
typelevel-programming,Typelevel combinators for quickcheck, in purescript
User: athanclark
typelevel-programming,Implementation of tuples as a flat heterogeneous array, for FFI
User: athanclark
typelevel-programming,type-level combinators for quickcheck instances
User: athanclark
typelevel-programming,Exploring type-level programming in Rust
User: daddinuz
typelevel-programming,Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
User: dmytromitin
typelevel-programming,Scala Practicing project
User: gailo22
typelevel-programming,Some type-level magic in some languages.
User: ggzor
typelevel-programming,Shapeless playground
User: gvolpe
typelevel-programming,Heterogeneously typed exception handling for Haskell
User: hgrano
typelevel-programming,Various tricky stuff in Haskell
User: higherkinded
typelevel-programming,Model complex data transformation pipelines easily
Organization: itkpi
typelevel-programming,Schema-safe http api using Idris+Rust
User: janschultecom
typelevel-programming,Utility library that helps expressing invariants in types
User: joshuajakowlew
typelevel-programming,mrd-parser shapeless and scodec test implementation
User: lachatak
typelevel-programming,Typed linear algebra
User: maxov
typelevel-programming,Data migrations through implicit function composition at the type-level
User: mcgizzle
typelevel-programming,experiment FP in java
User: mitallast
typelevel-programming,Non trivial Type Programming in Typescript
User: mtomassoli
typelevel-programming,Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
User: mtumilowicz
typelevel-programming,Backend architecture representation in TLP
User: natserract
typelevel-programming,Implementation of differential privacy in Haskell
User: robmurray98
typelevel-programming,This repo contains multiple projects made using Functional Programming and and BigData tools
User: ronaldcmde
typelevel-programming,Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
User: rudogma
typelevel-programming,Fast typelevel arithmetic 🧮 using symbols
User: sigma-andex
typelevel-programming,Typelevel http service definition DSL
Organization: tofu-tf
typelevel-programming,Type calculations at compile time
Organization: typechecked
Home Page: https://alphabet-soup.typechecked.io
typelevel-programming,
Organization: typechecked
typelevel-programming,Inductive proofs in Rust
User: wg-romank
Home Page: https://wg-romank.github.io/peano/
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.