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:
- Typesafe, spec-first APIs without codegen. Just Import 'N' Go!☆37Updated this week
- Type class derivation for services, not data☆37Updated 6 months ago
- Effect Zoo for Scala☆42Updated this week
- Embeddable Remote Scala Console☆37Updated last year
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆58Updated this week
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆40Updated 8 months ago
- ☆56Updated 2 weeks ago
- An experimental effect system in Scala that tracks effects through context functions☆91Updated this week
- minimum viable runtime☆66Updated 4 months ago
- Multi-platform GPGPU computations with Scala, seamlessly 🚀☆101Updated this week
- A functional, type-safe and memory-safe class to handle secret values☆28Updated 4 months ago
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 8 months ago
- ☆11Updated 10 months ago
- they see me ringin'☆60Updated 3 months ago
- A scala 3 tree explorer for the reflect module☆50Updated 9 months ago
- HTTP (browser-compatible) server and client for gRPC services written in Scala that follows Connect protocol specification and supports g…☆34Updated this week
- Algebraic Effects for Scala 3☆79Updated last week
- A macro-based library for writing efficient and readable null-safe code in Scala.☆43Updated 4 months ago
- Simple, Business-friendly Decisions Engine for Scala☆75Updated last week
- A reimagined scala-pickling in the Scala 3 world☆73Updated 2 years ago
- Simple encoding of refinement types in Scala 3☆24Updated last year
- Powerful, joyful building blocks for modern cloud-native applications.☆39Updated this week
- Data visualization for a functional world☆24Updated 11 months ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10Updated last year
- Configure CI intelligently across sbt projects. Run locally or from GitHub Actions with a single command. Generate summaries in HTML.☆21Updated 2 weeks ago
- Scala library and compiler plugin that prevent inadvertent leakage of sensitive fields in `case classes` (such as credentials, personal d…☆53Updated last week
- A micro-library to derive a typeclass for Scala 3 Union types.☆34Updated this week
- Full-stack web application with Scala 3, using Smithy4s☆22Updated 3 months ago
- openapi4s☆24Updated 3 weeks ago
- Safe compile-time parallelization of for-comprehensions for Scala 3☆88Updated 6 months ago