melvic-ybanez / lohikaLinks
A Proof Generator for Entailments and Tautologies in First-order Logic
☆39Updated 7 months ago
Alternatives and similar repositories for lohika
Users that are interested in lohika are comparing it to the libraries listed below
Sorting:
- Embeddable Remote Scala Console☆37Updated 11 months ago
- Typesafe, spec-first APIs without codegen. Just Import 'N' Go!☆37Updated this week
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 7 months ago
- Type class derivation for services, not data☆37Updated 5 months ago
- Effect Zoo for Scala☆41Updated last week
- minimum viable runtime☆66Updated 3 months ago
- ☆56Updated 3 weeks ago
- Turn a normal resource into a pooled one.☆39Updated 2 years ago
- they see me ringin'☆60Updated 2 months ago
- An experimental effect system in Scala that tracks effects through context functions☆91Updated last week
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated 7 months ago
- Scala library and compiler plugin that prevent inadvertent leakage of sensitive fields in `case classes` (such as credentials, personal d…☆52Updated last week
- An humble plugin to search for scala libraries☆37Updated 10 months ago
- Powerful, joyful building blocks for modern cloud-native applications.☆37Updated this week
- A menagerie of macro utilities and extensions for Scala 3☆99Updated 4 months ago
- Simple, Business-friendly Decisions Engine for Scala☆74Updated 3 weeks ago
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆58Updated last week
- Quickstart your next app with the Typelevel Toolkit!☆97Updated last week
- An sbt plugin to organize your build using plain Scala files☆30Updated 2 years ago
- A functional, type-safe and memory-safe class to handle secret values☆28Updated 4 months ago
- An extensible sbt plugin to configure, run and share a list of tasks in your projects locally or in CI, while generating pretty reports i…☆21Updated 6 months ago
- Scala library for readable diffs of values☆100Updated last week
- Terminal interaction for Scala☆35Updated last month
- ☆43Updated last week
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10Updated last year
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆101Updated this week
- Bare Metal Modular Database☆48Updated this week
- Safe compile-time parallelization of for-comprehensions for Scala 3☆88Updated 5 months ago
- Higher Kinded Data for Scala 3☆49Updated 3 weeks ago
- A test framework that runs everything in parallel.☆64Updated this week