Primetalk / typed-ontologyLinks
A unique fusion of ontology ideas, strong Scala type system and Json flexibility
☆19Updated 2 weeks ago
Alternatives and similar repositories for typed-ontology
Users that are interested in typed-ontology are comparing it to the libraries listed below
Sorting:
- Comprehensions for Arrows and Monoidal categories☆61Updated 2 months ago
- Power assertions (as known from Groovy and Spock) for the Scala language.☆106Updated 4 months ago
- Full program static analysis for Scala☆95Updated 3 years ago
- Recursion schemes training examples and exercises☆60Updated 5 years ago
- A reimagined scala-pickling in the Scala 3 world☆73Updated 2 years ago
- Asynchronous data type with typed errors.☆82Updated last year
- Various tasks solved via metaprogramming in Dotty☆134Updated 2 years ago
- A collection of purely-functional AWS clients for Scala☆42Updated last year
- Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.☆99Updated 2 years ago
- Give your dependencies stars on GitHub!☆65Updated 3 years ago
- ZIO-powered client for AWS SQS☆84Updated this week
- An independent set of benchmarks for testing common Scala idioms.☆66Updated 6 years ago
- Compiler plugin for intuitive tagless final☆126Updated last year
- Programming is an exercise in linguistics; spice-up Scala types with Adjective.☆91Updated 4 years ago
- an implementation of Wadler's a prettier printer☆188Updated last week
- Next Level MTL for Scala☆164Updated 2 years ago
- Production ready event-driven automata for Scala, Scala.js and scala native☆95Updated last week
- A platform of libraries for Scala 3☆99Updated last month
- A menagerie of macro utilities and extensions for Scala 3☆100Updated 5 months ago
- Misc utilities and extensions for Laminar☆63Updated 5 months ago
- Proof of concept for a cats-like library built using Dotty features☆117Updated last year
- A repo showcasing how to use Scala 3 macros beyond the simple use cases☆82Updated 2 years ago
- Compile time validation of literal values built from strings☆112Updated last week
- Handle streaming XML and JSON with declarative, composable parsers☆51Updated last year
- Generic programming for Scala☆197Updated last week
- An experimental effect system in Scala that tracks effects through context functions☆94Updated last week
- ☆131Updated last week
- Scala 3 run-time reflection library☆54Updated 2 months ago
- Operations for primitive and String singleton types☆164Updated last year
- Circe codec derivation using magnolia☆85Updated last year