melvic-ybanez / lohikaLinks
A Proof Generator for Entailments and Tautologies in First-order Logic
☆39Updated 5 months ago
Alternatives and similar repositories for lohika
Users that are interested in lohika are comparing it to the libraries listed below
Sorting:
- Effect Zoo for Scala☆41Updated last month
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 5 months ago
- they see me ringin'☆61Updated 3 weeks ago
- Embeddable Remote Scala Console☆37Updated 10 months ago
- minimum viable runtime☆66Updated 2 months ago
- Type class derivation for services, not data☆36Updated 3 months ago
- Powerful, joyful building blocks for modern cloud-native applications.☆25Updated this week
- ☆11Updated 5 years ago
- Typesafe, spec-first APIs without codegen. Just Import 'N' Go!☆22Updated last week
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated 6 months ago
- Typelevel's very own CryptoKitties!☆28Updated this week
- A tool for interactively updating your Scala dependencies.☆43Updated last year
- Example application demonstrating use of scala-cli, scodec, and fs2☆40Updated last year
- Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2☆43Updated 5 months ago
- A scala 3 tree explorer for the reflect module☆45Updated 7 months ago
- Safe compile-time parallelization of for-comprehensions for Scala 3☆89Updated 4 months ago
- Simple encoding of refinement types in Scala 3☆25Updated 11 months ago
- Scala library for readable diffs of values☆98Updated last week
- Scalafix rules for Typelevel projects☆26Updated last week
- Simple, Business-friendly Decisions Engine for Scala☆74Updated 3 weeks ago
- Error handling made precise. Because error handling belongs in the types.☆26Updated last year
- A case-insensitive string for Scala☆40Updated last week
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆43Updated 2 years ago
- An sbt plugin for splitting tests across multiple shards to speed up tests.☆26Updated last year
- A test framework that runs everything in parallel.☆56Updated this week
- A menagerie of macro utilities and extensions for Scala 3☆99Updated 2 months ago
- ☆56Updated 4 months ago
- Simple database migration tool for Postgres with skunk on JVM and Native☆38Updated 3 weeks ago
- Caches are tricky - Let Mules Haul its Weight.☆68Updated 2 months ago
- An actor library for Cats Effect☆32Updated last week