Typelevel http service definition DSL
-
Updated
Aug 19, 2024 - Scala
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
typelevel-programmingHere are 35 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Typelevel http service definition DSL
Model complex data transformation pipelines easily
cats functional spark cassandra slf4j dsl lazy parallel collections finite-state-machine typesafe akka-streams phantom infinispan data-pipeline log4j2 typelevel-programming
Type calculations at compile time
Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric
dependent-types scala metaprogramming macros shapeless typeclass code-generation extension-methods typeclasses scalameta typelevel-programming simulacrum scalafix semanticdb
Data migrations through implicit function composition at the type-level
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
time scala analysis formatting measure typelevel bytes units-of-measure units scalajs meters compile-time seconds length typelevel-programming dimensional no-boxing unboxed
Sensible, performant primitives for writing semantic TypeScript code
Implementation of tuples as a flat heterogeneous array, for FFI
A library for programming case branching in Haskell
Utility library that helps expressing invariants in types
validation cpp type-safe invariants assertion-library typelevel-programming cpp20 parameter-validation type-safe-api
Implementation of differential privacy in Haskell
Lightweight Scala 3 library for materializing types into values at compile time.
Fast typelevel arithmetic 🧮 using symbols
Backend architecture representation in TLP
Introduction to typelevel programming: phantom types, dependent types, path dependent types and Curry-Howard isomorphism.
dependent-types workshop first-order-logic idris workshop-materials polymorphic-types scala3 union-types phantom-types typelevel-programming typed-lambda-calculus polymorphic-functions curry-howard-isomorphism compile-time-meta-programming dependent-type-theory path-dependent scala3-metaprogramming type-programming path-dependent-types
Exploring type-level programming in Rust
Non trivial Type Programming in Typescript
Add this topic to your repoTo associate your repository with the typelevel-programming topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |