melvic-ybanez / lohika
A Proof Generator for Entailments and Tautologies in First-order Logic
☆38Updated last month
Alternatives and similar repositories for lohika:
Users that are interested in lohika are comparing it to the libraries listed below
- Algebraic Effects for Scala 3☆57Updated 3 weeks ago
- Simple, Business-friendly Decisions Engine for Scala☆69Updated last week
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆43Updated 2 years ago
- they see me ringin'☆58Updated this week
- ☆52Updated this week
- Embeddable Remote Scala Console☆35Updated 5 months ago
- Simple encoding of refinement types in Scala 3☆24Updated 6 months ago
- Type class derivation for services, not data☆33Updated 6 months ago
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated last month
- A test framework that runs everything in parallel.☆49Updated this week
- A tool for interactively updating your Scala dependencies.☆44Updated 7 months ago
- Example application demonstrating use of scala-cli, scodec, and fs2☆39Updated last year
- A Keyed Pool Implementation for Scala☆37Updated this week
- REmote DIctionary Client, that's hysterical.☆47Updated 5 months ago
- Configured derivation library for scala 3☆34Updated 4 months ago
- Higher Kinded Data for Scala 3☆48Updated last month
- Efficient diffing in Scala☆60Updated 4 months ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 3 years ago
- minimum viable runtime☆64Updated this week
- An sbt plugin to organize your build using plain Scala files☆30Updated last year
- Effect Zoo for Scala☆31Updated 2 months ago
- Typelevel's very own CryptoKitties!☆28Updated this week
- ☆40Updated this week
- Easy, fast, transparent generic derivation of typeclass instances in Scala☆20Updated last week
- Hoogle-like searches for Scala 3 and Kotlin☆90Updated 4 months ago
- Simple Scala HTTP model☆43Updated this week
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆36Updated last month
- Caches are tricky - Let Mules Haul its Weight.☆67Updated 6 months ago
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆65Updated 2 years ago
- Effectful property testing built on ScalaCheck☆81Updated this week