melvic-ybanez / lohika
A Proof Generator for Entailments and Tautologies in First-order Logic
☆39Updated 3 months ago
Alternatives and similar repositories for lohika:
Users that are interested in lohika are comparing it to the libraries listed below
- minimum viable runtime☆66Updated this week
- Algebraic Effects for Scala 3☆60Updated 2 weeks ago
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated 3 months ago
- Effect Zoo for Scala☆32Updated 3 weeks ago
- Simple, Business-friendly Decisions Engine for Scala☆70Updated last week
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆55Updated last week
- A menagerie of macro utilities and extensions for Scala 3☆99Updated 3 weeks ago
- A toy Redis server implemented using pure FP on top of Cats Effect, Fs2, and Scodec☆43Updated 2 years ago
- Embeddable Remote Scala Console☆36Updated 8 months ago
- Reddit-clone demonstrating how larger, DDD-based, event sourced, purely FP application could be implemented in Scala (if requirements wou…☆39Updated 7 months ago
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 3 months ago
- Type class derivation for services, not data☆34Updated last month
- ☆54Updated 2 months ago
- An experimental effect system in Scala using capability passing style☆57Updated last week
- A test framework that runs everything in parallel.☆51Updated last week
- Simple database migration tool for Postgres with skunk on JVM and Native☆34Updated last week
- Higher Kinded Data for Scala 3☆48Updated 4 months ago
- Miniature Quill implementation for Benchmarking and Study☆18Updated 2 years ago
- A Direct-Style Scala Wrapper Around the Structured Concurrency of Project Loom☆27Updated 2 weeks ago
- Actor model for typelevel ecosystem☆16Updated 3 weeks ago
- A tool for interactively updating your Scala dependencies.☆43Updated 9 months ago
- Data visualization for a functional world☆25Updated 7 months ago
- http4s middlewares built on otel4s☆22Updated this week
- Type-safe Queries☆53Updated last year
- ☆16Updated 4 months ago
- Lightning Memory Database (LMDB) for scala ZIO☆39Updated 2 weeks ago
- Scala 3 to GLSL transpiler library☆62Updated 3 weeks ago
- A purely functional web UI library for Scala.js☆44Updated 2 months ago
- A micro-library to derive a typeclass for Scala 3 Union types.☆32Updated this week
- Hoogle-like searches for Scala 3 and Kotlin☆90Updated 6 months ago