melvic-ybanez / lohikaLinks
A Proof Generator for Entailments and Tautologies in First-order Logic
☆39Updated 9 months 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!☆39Updated 2 weeks ago
- Embeddable Remote Scala Console☆37Updated last year
- The first Scala macros' standard library.☆55Updated this week
- ☆55Updated last month
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆58Updated 2 weeks ago
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆102Updated last week
- Effect Zoo for Scala☆42Updated last month
- they see me ringin'☆61Updated 4 months ago
- Powerful, joyful building blocks for modern cloud-native applications.☆42Updated this week
- An experimental effect system in Scala that tracks effects through context functions☆101Updated this week
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated 9 months ago
- Type class derivation for services, not data☆37Updated 7 months ago
- Simple, Business-friendly Decisions Engine for Scala☆75Updated last week
- A scala 3 tree explorer for the reflect module☆52Updated 10 months ago
- A purely functional web UI library for Scala.js☆46Updated 8 months ago
- minimum viable runtime☆66Updated 5 months ago
- Configure CI intelligently across sbt projects. Run locally or from GitHub Actions with a single command. Generate summaries in HTML.☆22Updated last month
- Terminal interaction for Scala☆35Updated 3 months ago
- A functional, type-safe and memory-safe class to handle secret values☆29Updated 6 months ago
- Scala Improvement Proposals☆56Updated this week
- Tiny Scala library for targeted macro debugging by logging properly formatted expansions at compile time☆66Updated 3 years ago
- Type-safe Queries☆53Updated 2 years ago
- Higher Kinded Data for Scala 3☆50Updated 3 months ago
- Bare Metal Modular Database☆51Updated this week
- Safe compile-time parallelization of for-comprehensions for Scala 3☆88Updated 7 months ago
- Code exploration via diagrams☆22Updated last year
- A micro-library to derive a typeclass for Scala 3 Union types.☆35Updated this week
- ☆11Updated 11 months ago
- An sbt plugin to organize your build using plain Scala files☆30Updated 2 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10Updated last year