Data migrations through implicit function composition at the type-level
-
Updated
Sep 24, 2019 - Scala
Data migrations through implicit function composition at the type-level
Pure batching for Scala
Exploring type-level programming in Rust
Proof of concept on how to test some logic defined in your DB.
A lightweight effect based cache, compatible with the Typelevel ecosystem
Fast typelevel arithmetic 🧮 using symbols
Full-stack Scala 3 Project using Typelevel Stack (RockTheJVM)
Some type-level magic in some languages.
Sensible, performant primitives for writing semantic TypeScript code
Scala 3 compatible Typesafe config Scala wrapper powered by circe.
Generate random chess position/perft
A playground project for examples of using MTL with classy lenses
Notes, examples, scripts I used for a primer on cats-effect comparing to Scala Future
Type-level lambda calculus in Scala 3
Add a description, image, and links to the typelevel topic page so that developers can more easily learn about it.
To associate your repository with the typelevel topic, visit your repo's landing page and select "manage topics."