melvic-ybanez / lohika
A Proof Generator for Entailments and Tautologies in First-order Logic
☆39Updated 4 months ago
Alternatives and similar repositories for lohika
Users that are interested in lohika are comparing it to the libraries listed below
Sorting:
- minimum viable runtime☆66Updated last month
- Type class derivation for services, not data☆35Updated 3 months ago
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆43Updated 2 years ago
- Typelevel's very own CryptoKitties!☆28Updated last week
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 5 months ago
- Effect Zoo for Scala☆38Updated last month
- they see me ringin'☆61Updated last week
- Embeddable Remote Scala Console☆37Updated 9 months ago
- ☆54Updated 4 months ago
- Get the name of a type at compile-time. Amaze your friends!☆78Updated 2 years ago
- Simple encoding of refinement types in Scala 3☆25Updated 10 months ago
- Higher Kinded Data for Scala 3☆49Updated 5 months ago
- A test framework that runs everything in parallel.☆53Updated this week
- A case-insensitive string for Scala☆40Updated last week
- A tool for interactively updating your Scala dependencies.☆43Updated 11 months ago
- Quickstart your next app with the Typelevel Toolkit!☆97Updated this week
- A reimagined scala-pickling in the Scala 3 world☆73Updated last year
- Declarative bidirectional codecs for DynamoDb AttributeValue, SDK 2☆43Updated 4 months ago
- An sbt plugin to organize your build using plain Scala files☆30Updated 2 years ago
- A micro-library to derive a typeclass for Scala 3 Union types.☆32Updated this week
- A functional library to work with XML in Scala using Cats.☆32Updated last month
- A menagerie of macro utilities and extensions for Scala 3☆99Updated 2 months ago
- Example application demonstrating use of scala-cli, scodec, and fs2☆40Updated last year
- Easily modify parts of larger data structures☆61Updated 9 months ago
- CLI prompts in Scala 3, available on JS, JVM, and Native platforms☆35Updated 2 weeks ago
- Simple, Business-friendly Decisions Engine for Scala☆74Updated last month
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆67Updated 2 years ago
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆55Updated this week
- A scala 3 tree explorer for the reflect module☆45Updated 6 months ago
- Zero-cost wrappers (newtypes) for Scala 3☆43Updated 4 years ago