melvic-ybanez / lohikaLinks
A Proof Generator for Entailments and Tautologies in First-order Logic
☆41Updated last week
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!☆48Updated 3 weeks ago
- An experimental effect system in Scala that tracks effects through context functions☆108Updated this week
- The first Scala macros' standard library.☆104Updated this week
- Powerful, joyful building blocks for modern cloud-native applications.☆43Updated last week
- Embeddable Remote Scala Console☆37Updated last year
- Effect Zoo for Scala☆42Updated 3 months ago
- Type class derivation for services, not data☆37Updated 9 months ago
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated last week
- ☆55Updated 3 months ago
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated 11 months ago
- A Direct-Style Scala Wrapper Around the Structured Concurrency of Project Loom☆32Updated 2 weeks ago
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆105Updated this week
- ☆108Updated last year
- Type-safe Queries☆53Updated 2 years ago
- minimum viable runtime☆66Updated 7 months ago
- ☆16Updated 2 years ago
- A scala 3 tree explorer for the reflect module☆52Updated last year
- A functional, type-safe and memory-safe class to handle secret values☆29Updated 8 months ago
- they see me ringin'☆61Updated 6 months ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- A reimagined scala-pickling in the Scala 3 world☆73Updated 2 years ago
- Scala Improvement Proposals☆58Updated 3 weeks ago
- Example application demonstrating use of scala-cli, scodec, and fs2☆40Updated last year
- ☆11Updated 6 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10Updated last year
- A Keyed Pool Implementation for Scala☆39Updated last week
- A macro-based library for writing efficient and readable null-safe code in Scala.☆44Updated 8 months ago
- Bare Metal Modular Database☆52Updated this week
- Code exploration via diagrams☆22Updated last year
- Effectful property testing built on ScalaCheck☆83Updated last week