melvic-ybanez / lohikaLinks
A Proof Generator for Entailments and Tautologies in First-order Logic
☆39Updated 6 months ago
Alternatives and similar repositories for lohika
Users that are interested in lohika are comparing it to the libraries listed below
Sorting:
- Typesafe, spec-first APIs without codegen. Just Import 'N' Go!☆34Updated last week
- Embeddable Remote Scala Console☆37Updated 11 months ago
- ☆56Updated this week
- Type class derivation for services, not data☆37Updated 4 months ago
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 6 months ago
- Effect Zoo for Scala☆41Updated last week
- Simple encoding of refinement types in Scala 3☆24Updated last year
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated 6 months ago
- they see me ringin'☆61Updated last month
- Terminal interaction for Scala☆35Updated last month
- minimum viable runtime☆66Updated 3 months ago
- A scala 3 tree explorer for the reflect module☆46Updated 7 months ago
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆43Updated 2 years ago
- Safe compile-time parallelization of for-comprehensions for Scala 3☆88Updated 5 months ago
- Powerful, joyful building blocks for modern cloud-native applications.☆30Updated last week
- A macro-based library for writing efficient and readable null-safe code in Scala.☆43Updated 3 months ago
- Example application demonstrating use of scala-cli, scodec, and fs2☆40Updated last year
- Typelevel's very own CryptoKitties!☆28Updated 2 weeks ago
- A purely functional web UI library for Scala.js☆46Updated 5 months ago
- Linear Algebra and Statistics library for Scala.js, JVM, and Native.☆34Updated last week
- A case-insensitive string for Scala☆40Updated 2 weeks ago
- A test framework that runs everything in parallel.☆58Updated last week
- Simple, Business-friendly Decisions Engine for Scala☆74Updated this week
- A menagerie of macro utilities and extensions for Scala 3☆99Updated 3 months ago
- Type-safe Queries☆53Updated last year
- ☆16Updated 2 years ago
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆57Updated last week
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆35Updated 2 months ago
- A micro-library to derive a typeclass for Scala 3 Union types.☆34Updated 3 weeks ago
- Scala 3 to GLSL transpiler library☆63Updated 2 weeks ago