Alternatives and similar repositories for typed-ontology

Users that are interested in typed-ontology are comparing it to the libraries listed below

• typelevel / spotted-leopards
  Proof of concept for a cats-like library built using Dotty features
  ☆117Updated last year
• tofu-tf / volga
  Comprehensions for Arrows and Monoidal categories
  ☆61Updated 6 months ago
• fthomas / singleton-ops
  Operations for primitive and String singleton types
  ☆164Updated last year
• lampepfl / dotty-macro-examples
  Various tasks solved via metaprogramming in Dotty
  ☆135Updated 3 years ago
• rewards-network / pure-aws
  A collection of purely-functional AWS clients for Scala
  ☆42Updated last year
• augustjune / context-applied
  Compiler plugin for intuitive tagless final
  ☆126Updated last year
• oleg-py / meow-mtl
  Next Level MTL for Scala
  ☆167Updated 3 years ago
• pauliamgiant / sounds-of-scala
  A sound library for scalaJs using Web Audio Api
  ☆12Updated last month
• monix / monix-bio
  Asynchronous data type with typed errors.
  ☆82Updated last year
• rorygraves / ScalaClean
  Full program static analysis for Scala
  ☆95Updated 4 years ago
• jsuereth / sauerkraut
  A reimagined scala-pickling in the Scala 3 world
  ☆72Updated 2 years ago
• eed3si9n / expecty
  Power assertions (as known from Groovy and Spock) for the Scala language.
  ☆109Updated this week
• kitlangton / quotidian
  A menagerie of macro utilities and extensions for Scala 3
  ☆101Updated 10 months ago
• TimWSpence / cats-stm
  A STM implementation for Cats Effect
  ☆149Updated 3 weeks ago
• rudogma / scala-supertagged
  Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.
  ☆99Updated 3 years ago
• SystemFw / upperbound
  A purely functional rate limiter
  ☆179Updated 6 months ago
• davenverse / mules
  Caches are tricky - Let Mules Haul its Weight.
  ☆72Updated 9 months ago
• vpavkin / circe-magnolia
  Circe codec derivation using magnolia
  ☆85Updated last year
• dylemma / xml-spac
  Handle streaming XML and JSON with declarative, composable parsers
  ☆51Updated 2 years ago
• fosskers / scala-benchmarks
  An independent set of benchmarks for testing common Scala idioms.
  ☆66Updated 6 years ago
• vivri / Adjective
  Programming is an exercise in linguistics; spice-up Scala types with Adjective.
  ☆91Updated 5 years ago
• softwaremill / recursion-training
  Recursion schemes training examples and exercises
  ☆60Updated 5 years ago
• zio / zio-sqs
  ZIO-powered client for AWS SQS
  ☆85Updated 3 weeks ago
• tulz-app / laminext
  Misc utilities and extensions for Laminar
  ☆64Updated 9 months ago
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆188Updated 3 weeks ago
• deusaquilus / derivation_examples
  Dotty Generic Derivation Examples
  ☆28Updated 4 years ago
• ocadaruma / sbt-thank-you-stars
  Give your dependencies stars on GitHub!
  ☆67Updated 3 years ago
• gzoller / scala-reflection
  Scala 3 run-time reflection library
  ☆55Updated 6 months ago
• propensive / soundness
  A platform of libraries for Scala 3
  ☆105Updated this week
• romanowski / hoarder
  Project for cached compiation plugins for sbt
  ☆79Updated 5 years ago