melvic-ybanez / lohika
A Proof Generator for Entailments and Tautologies in First-order Logic
☆38Updated 2 months ago
Alternatives and similar repositories for lohika:
Users that are interested in lohika are comparing it to the libraries listed below
- Type class derivation for services, not data☆34Updated last week
- they see me ringin'☆59Updated 3 weeks ago
- ☆53Updated last month
- Embeddable Remote Scala Console☆35Updated 6 months ago
- ☆16Updated 3 months ago
- Catless Category Theory in Dotty/Scala 3 meow ~☆43Updated last year
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 2 months ago
- Safe compile-time parallelization of for-comprehensions for Scala 3☆90Updated 3 weeks ago
- ☆40Updated 3 weeks ago
- Type-safe Queries☆52Updated last year
- Easily modify parts of larger data structures☆60Updated 6 months ago
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆39Updated 2 months ago
- A tool for interactively updating your Scala dependencies.☆44Updated 8 months ago
- Higher Kinded Data for Scala 3☆48Updated 2 months ago
- Simple, Business-friendly Decisions Engine for Scala☆70Updated this week
- Idiomatic Cats Effect + FS2 integrations for Web APIs☆35Updated 3 weeks ago
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆43Updated 2 years ago
- Algebraic Effects for Scala 3☆57Updated 3 weeks ago
- Quickstart your next app with the Typelevel Toolkit!☆96Updated this week
- minimum viable runtime☆66Updated this week
- Simple encoding of refinement types in Scala 3☆25Updated 7 months ago
- A micro-library to derive a typeclass for Scala 3 Union types.☆30Updated last week
- Lightning Memory Database (LMDB) for scala ZIO☆38Updated last month
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆80Updated last week
- Miniature Quill implementation for Benchmarking and Study☆18Updated 2 years ago
- Scalafix rules for Typelevel projects☆25Updated this week
- A Keyed Pool Implementation for Scala☆37Updated this week
- Effect Zoo for Scala☆31Updated 3 weeks ago
- An sbt plugin to organize your build using plain Scala files☆30Updated last year
- Command line debugging console for Cats Effect☆19Updated 10 months ago