18 skills found
tofu-tf / Typed SchemaTypelevel http service definition DSL
itkpi / TrembitaModel complex data transformation pipelines easily
TypeChecked / Alphabet SoupType calculations at compile time
DmytroMitin / AUXifyIntroduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
mcgizzle / Oh MigrationsData migrations through implicit function composition at the type-level
krzemin / Scalawave Typelevel WorkshopSlides and code from Scalawave 2016 "Introduction to typelevel (meta)programming with Shapeless" workshop
TypeChecked / NumerologyNo description available
rudogma / Scala SuperquantsScala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
ahrjarrett / Any TsSensible, performant primitives for writing semantic TypeScript code
leszekgruchala / Typelevel Programming ScalaTypeLevel Programming in Scala
athanclark / Purescript Tuples NativeImplementation of tuples as a flat heterogeneous array, for FFI
flipstone / ShrubberyA library for programming case branching in Haskell
JoshuaJakowlew / ConstrainedUtility library that helps expressing invariants in types
RobMurray98 / HFuzzImplementation of differential privacy in Haskell
scytrowski / MatLightweight Scala 3 library for materializing types into values at compile time.
aische / Ts Typelevel Fpfunctional typelevel programming with higher kinded types
SimianQuant / TypequuxA hackable library for typelevel programming in Scala
sigma-andex / Purescript Typelevel ArithmeticFast typelevel arithmetic 🧮 using symbols
