typelevel-programming

There are 0 repository under typelevel-programming topic.

• tofu-tf / typed-schema

  Typelevel http service definition DSL

  scalatypelevel-programminghttp-serverswaggeropen-api-v3akka-http
  Language:Scala 151

• itkpi / trembita

  Model complex data transformation pipelines easily

  lazycollectionscassandraparallelfunctionaldsltypelevel-programmingsparktypesafeakka-streamsslf4jphantomdata-pipelinefinite-state-machinelog4j2infinispancats
  Language:Scala 46

• TypeChecked / alphabet-soup

  Type calculations at compile time

  alphabet-soupfunctional-programmingscalashapelesstypeleveltypelevel-programming
  Language:Scala 40

• DmytroMitin / AUXify

  Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric

  scalashapelesstypeclassmacrossimulacrumtypelevel-programmingdependent-typestypeclassescode-generationextension-methodsmetaprogrammingscalametasemanticdbscalafix
  Language:Scala 28

• mcgizzle / oh-migrations

  Data migrations through implicit function composition at the type-level

  scalatypeleveltypelevel-programmingdata-migrationshapelesscomposition
  Language:Scala 22

• TypeChecked / numerology

  natshapelesstypelevel-programmingscalafunctional-programming
  Language:Scala 19

• rudogma / scala-superquants

  Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%

  scalascalajsdimensionalanalysistypeleveltypelevel-programmingno-boxingcompile-timeunitsunits-of-measuremeasuremeterssecondstimelengthbytesformattingunboxed
  Language:Scala 17

• athanclark / purescript-tuples-native

  Implementation of tuples as a flat heterogeneous array, for FFI

  arraysheterogeneous-datapurescripttypelevel-programming
  Language:PureScript 16

• JoshuaJakowlew / constrained

  Utility library that helps expressing invariants in types

  assertion-librarycpp20invariantsparameter-validationcpptype-safetype-safe-apitypelevel-programmingvalidation
  Language:C++ 9

• ahrjarrett / any-ts

  Sensible, performant primitives for writing semantic TypeScript code

  any-typenamespacetypeleveltypelevel-programmingtypescripttypescript-namespaces
  Language:TypeScript 7

• RobMurray98 / HFuzz

  Implementation of differential privacy in Haskell

  differential-privacyhaskelltypelevel-programmingtypelevel
  Language:Haskell 7

• sigma-andex / purescript-typelevel-arithmetic

  Fast typelevel arithmetic 🧮 using symbols

  typeleveltypelevel-programming
  Language:PureScript 4

• natserract / tapi

  Backend architecture representation in TLP

  haskelltypelevel-programminglearn
  Language:Haskell 3

• daddinuz / holmes

  Exploring type-level programming in Rust

  proofing-toolstypeleveltypelevel-programming
  Language:Rust 2

• gvolpe / shapeless-demo

  Shapeless playground

  shapelesstypeleveltypelevel-programmingbook
  Language:Scala 2

• wg-romank / peano

  Inductive proofs in Rust

  blogpeanorusttypelevel-programming
  Language:Makefile 2

• athanclark / purescript-quickcheck-combinators

  Typelevel combinators for quickcheck, in purescript

  purescriptquickcheckquickcheck-combinatorstypelevel-programmingdata-generation
  Language:PureScript 1

• athanclark / quickcheck-combinators

  type-level combinators for quickcheck instances

  quickcheck-combinatorshaskellquickchecktypelevel-programming
  Language:Haskell 1

• hgrano / HException

  Heterogeneously typed exception handling for Haskell

  error-handlinghaskelltypelevel-programming
  Language:Haskell 1

• higherkinded / cheap-tricks

  Various tricky stuff in Haskell

  haskelltypelevel-programming
  Language:Haskell 1

• horothesun / simple-scala-cli.g8

  Giter8 template to generate a simple Scala-CLI project.

  g8giter8giter8-templatescalascala-3scala-clitypeleveltypelevel-librariestypelevel-programmingcigithub-workflowmunittestunit-testing
  Language:Scala 1

• janschultecom / kolgut-api

  Schema-safe http api using Idris+Rust

  idrisrustdependent-typestype-providersswaggerhttptypelevel-programming
  Language:Idris 1

• lachatak / mrd-parser

  mrd-parser shapeless and scodec test implementation

  scalashapelessscodecmrd-parsertypelevel-programming
  Language:Scala 1

• mitallast / effect

  experiment FP in java

  javaapplicativeseffectsfunctional-programmingfptypelevel-programmingtypelevel
  Language:Java 1

• mtomassoli / TS-Experiments

  Non trivial Type Programming in Typescript

  higher-kinded-typestypelevel-programmingtypescript
  Language:TypeScript 1

• DmytroMitin / shapeless

  Generic programming for Scala

  scalatypelevel-programminggeneric-programmingdependent-typestypeclassestypeclass-derivationhlistpolymorphic-functionssingleton-typesmacrosheterogeneous-listsphantom-typescoproduct
  Language:Scala 0

• ronaldcmde / Scala-Lab

  This repo contains multiple projects made using Functional Programming and and BigData tools

  functional-programmingfunctional-reactive-programmingscalasparktypelevel-programming
  Language:Scala 0

• a-nigredo / misc

  scalabson-documentvalidationrefined-typesmacrostypelevel-programming
  Language:Scala

• gailo22 / scala-practicing

  Scala Practicing project

  graphalgorithmscatsscalatypelevel-programming
  Language:Scala

• ggzor / type-level-magic

  Some type-level magic in some languages.

  typelevel-programmingtypelevelrusttypescripthaskelllambda-calculusde-bruijn
  Language:Rust

• maxov / linear

  Typed linear algebra

  scalalinear-algebratypelevel-programmingtypes
  Language:Scala

• mtumilowicz / scala3-dependent-types-polymorphic-functions-workshop

  Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.

  curry-howard-isomorphismdependent-type-theorydependent-typesphantom-typespolymorphic-functionspolymorphic-typestypelevel-programmingworkshopworkshop-materialscompile-time-meta-programmingfirst-order-logicidrispath-dependentscala3scala3-metaprogrammingtype-programmingtyped-lambda-calculusunion-typespath-dependent-types
  Language:Scala