Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub topics: typelevel-programming
ahrjarrett/any-ts
a core set of TS namespaces that overload intrinsic types like "any" and "never"
Language: TypeScript - Size: 626 KB - Last synced: 21 days ago - Pushed: 21 days ago - Stars: 5 - Forks: 0
athanclark/purescript-tuples-native
Implementation of tuples as a flat heterogeneous array, for FFI
Language: PureScript - Size: 18.6 KB - Last synced: 23 days ago - Pushed: about 2 months ago - Stars: 15 - Forks: 6
natserract/tapi
Backend architecture representation in TLP
Language: Haskell - Size: 411 KB - Last synced: about 1 month ago - Pushed: almost 2 years ago - Stars: 3 - Forks: 0
DmytroMitin/shapeless Fork of milessabin/shapeless
Generic programming for Scala
Language: Scala - Size: 6.12 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0
sigma-andex/purescript-typelevel-arithmetic
Fast typelevel arithmetic 🧮 using symbols
Language: PureScript - Size: 37.1 KB - Last synced: about 1 month ago - Pushed: about 2 years ago - Stars: 4 - Forks: 0
daddinuz/holmes
Exploring type-level programming in Rust
Language: Rust - Size: 2.93 KB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 2 - Forks: 0
mtumilowicz/scala3-dependent-types-polymorphic-functions-workshop
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
Language: Scala - Size: 270 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0
tofu-tf/typed-schema
Typelevel http service definition DSL
Language: Scala - Size: 3.34 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 151 - Forks: 27
athanclark/quickcheck-combinators
type-level combinators for quickcheck instances
Language: Haskell - Size: 17.6 KB - Last synced: about 1 month ago - Pushed: 8 months ago - Stars: 1 - Forks: 1
mtomassoli/TS-Experiments
Non trivial Type Programming in Typescript
Language: TypeScript - Size: 57.6 KB - Last synced: 9 months ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0
lachatak/mrd-parser
mrd-parser shapeless and scodec test implementation
Language: Scala - Size: 285 KB - Last synced: 10 months ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0
a-nigredo/misc
Language: Scala - Size: 5.86 KB - Last synced: 10 months ago - Pushed: about 3 years ago - Stars: 0 - Forks: 0
TypeChecked/alphabet-soup
Type calculations at compile time
Language: Scala - Size: 378 KB - Last synced: about 24 hours ago - Pushed: over 4 years ago - Stars: 40 - Forks: 2
mcgizzle/oh-migrations
Data migrations through implicit function composition at the type-level
Language: Scala - Size: 102 KB - Last synced: about 24 hours ago - Pushed: over 4 years ago - Stars: 22 - Forks: 0
DmytroMitin/AUXify
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
Language: Scala - Size: 13.9 MB - Last synced: 11 months ago - Pushed: almost 4 years ago - Stars: 27 - Forks: 3
itkpi/trembita
Model complex data transformation pipelines easily
Language: Scala - Size: 2.6 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 45 - Forks: 2
TypeChecked/numerology
Language: Scala - Size: 108 KB - Last synced: about 24 hours ago - Pushed: over 4 years ago - Stars: 19 - Forks: 1
mitallast/effect
experiment FP in java
Language: Java - Size: 194 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 1 - Forks: 0
RobMurray98/HFuzz
Implementation of differential privacy in Haskell
Language: Haskell - Size: 42 KB - Last synced: 12 months ago - Pushed: about 5 years ago - Stars: 6 - Forks: 0
wg-romank/peano
Playing around with inductive proofs in Rust
Language: Makefile - Size: 1.2 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 1
ggzor/type-level-magic
Some type-level magic in some languages.
Language: Rust - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 0 - Forks: 0
higherkinded/cheap-tricks
Various tricky stuff in Haskell
Language: Haskell - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 1 - Forks: 0
ronaldcmde/Scala-Lab
This repo contains multiple projects made using Functional Programming and and BigData tools
Language: Scala - Size: 364 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0
hgrano/HException
Heterogeneously typed exception handling for Haskell
Language: Haskell - Size: 114 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0
rudogma/scala-superquants
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
Language: Scala - Size: 34.2 KB - Last synced: 4 months ago - Pushed: almost 7 years ago - Stars: 17 - Forks: 0
janschultecom/kolgut-api
Schema-safe http api using Idris+Rust
Language: Idris - Size: 21.5 KB - Last synced: 3 months ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0
athanclark/purescript-quickcheck-combinators
Typelevel combinators for quickcheck, in purescript
Language: PureScript - Size: 6.84 KB - Last synced: 23 days ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0
gailo22/scala-practicing
Scala Practicing project
Language: Scala - Size: 59.6 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0
itkpi/h-api
Phantom type to abstract over API
Language: Scala - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0
gvolpe/shapeless-demo
Shapeless playground
Language: Scala - Size: 1020 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 1 - Forks: 1
maxov/linear
Typed linear algebra
Language: Scala - Size: 64.5 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 0 - Forks: 0