melvic-ybanez / lohikaLinks
A Proof Generator for Entailments and Tautologies in First-order Logic
☆44Updated 2 weeks 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!☆49Updated last week
- minimum viable runtime☆65Updated 9 months ago
- Embeddable Remote Scala Console☆37Updated last year
- Effect Zoo for Scala☆41Updated 4 months ago
- Simple, Business-friendly Decisions Engine for Scala☆76Updated last week
- The first Scala macros' standard library.☆120Updated this week
- Type class derivation for services, not data☆37Updated 10 months ago
- A functional, type-safe and memory-safe class to handle secret values☆29Updated 9 months ago
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated last year
- An experimental effect system in Scala that tracks effects through context functions☆113Updated this week
- Terminal interaction for Scala☆35Updated 7 months ago
- they see me ringin'☆62Updated 7 months ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- ☆16Updated 2 years ago
- Configure CI intelligently across sbt projects. Run locally or from GitHub Actions with a single command. Generate summaries in HTML.☆22Updated last week
- A menagerie of macro utilities and extensions for Scala 3☆101Updated 9 months ago
- Effectful property testing built on ScalaCheck☆83Updated last week
- Safe compile-time parallelization of for-comprehensions for Scala 3☆90Updated 11 months ago
- A scala 3 tree explorer for the reflect module☆53Updated last year
- A Keyed Pool Implementation for Scala☆40Updated last week
- Scala library and compiler plugin that prevent inadvertent leakage of sensitive fields in `case classes` (such as credentials, personal d…☆57Updated last week
- ☆55Updated 5 months ago
- Alternative fs2 docs☆37Updated last week
- A reimagined scala-pickling in the Scala 3 world☆72Updated 2 years ago
- Powerful, joyful building blocks for modern cloud-native applications.☆51Updated this week
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated last month
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆58Updated this week
- Scala Improvement Proposals☆58Updated 3 weeks ago
- Example application demonstrating use of scala-cli, scodec, and fs2☆40Updated 2 years ago
- Cooperative multithreading as a pure monad transformer☆73Updated 2 weeks ago