melvic-ybanez / lohikaLinks
A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic
☆44Updated 3 weeks ago
Alternatives and similar repositories for lohika
Users that are interested in lohika are comparing it to the libraries listed below
Sorting:
- Powerful, joyful building blocks for modern cloud-native applications.☆68Updated this week
- Type class derivation for services, not data☆37Updated 11 months ago
- Effect Zoo for Scala☆42Updated 3 weeks ago
- Typesafe, spec-first APIs without codegen. Just Import 'N' Go!☆49Updated last month
- The first Scala macros' standard library.☆123Updated this week
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10Updated last year
- Embeddable Remote Scala Console☆37Updated last year
- they see me ringin'☆62Updated 8 months ago
- A functional, type-safe and memory-safe class to handle secret values☆29Updated last week
- An experimental effect system in Scala 3 that tracks effects through context functions☆116Updated this week
- minimum viable runtime☆65Updated 10 months ago
- ☆108Updated 2 years ago
- ☆56Updated 6 months ago
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 2 months ago
- Easy, fast, transparent generic derivation of typeclass instances in Scala☆25Updated 11 months ago
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆58Updated last week
- Effectful property testing built on ScalaCheck☆83Updated last week
- Scalafix rules for Typelevel projects☆26Updated 2 weeks ago
- Simple, Business-friendly Decisions Engine for Scala☆77Updated last week
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated last year
- A reimagined scala-pickling in the Scala 3 world☆72Updated 2 years ago
- A Keyed Pool Implementation for Scala☆39Updated this week
- Alternative fs2 docs☆38Updated last month
- Type-safe Queries☆54Updated 2 years ago
- Safe compile-time parallelization of for-comprehensions for Scala 3☆90Updated last year
- Cooperative multithreading as a pure monad transformer☆73Updated 2 weeks ago
- Configure CI intelligently across sbt projects. Run locally or from GitHub Actions with a single command. Generate summaries in HTML.☆22Updated last week
- Bare Metal Modular Database☆60Updated this week
- Code exploration via diagrams☆22Updated last year
- Scala 3 run-time reflection library☆55Updated 7 months ago