jphmrst / bpsLinks
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
☆16Updated last year
Alternatives and similar repositories for bps
Users that are interested in bps are comparing it to the libraries listed below
Sorting:
- Making the execution of system processes easier in Scala☆13Updated 3 months ago
- Molecule translates custom Scala code to database queries for multiple databases.☆20Updated 2 weeks ago
- Effect Zoo for Scala☆41Updated last month
- Scala Native bindings To Gtk4 C API☆33Updated 4 months ago
- Scala.js interfaces for native JS types that ignore Scala semantics for the sake of performance.☆21Updated last year
- ZIO-inspired APIs for Kyo☆12Updated last year
- Linear types in Scala☆43Updated last week
- Compile-time expression evaluation for Scala 2☆16Updated last week
- ☆35Updated 11 months ago
- A Proof Generator for Entailments and Tautologies in First-order Logic☆39Updated 5 months ago
- SBT project generator for flexible monorepo flow☆27Updated last week
- CLI to run functions as HTTP services using SNUnit☆23Updated 2 years ago
- Experiments with composable lock-free concurrency☆17Updated this week
- Linear Algebra and Statistics library for Scala.js, JVM, and Native.☆34Updated this week
- just place for some random notes about programming☆16Updated 4 months ago
- Tiny dsl library for path et parameters of urls☆37Updated 5 months ago
- ☆42Updated last year
- Eval evaluates Scala 3 code. Why parse JSON when you can load case classes?☆20Updated 3 weeks ago
- Fast streams for Scala 3☆52Updated 3 months ago
- A case-insensitive string for Scala☆40Updated this week
- Presentation about frontend development with Scala.js Originally made for students at Imperial College London☆11Updated last year
- Optics experimentation for Dotty☆32Updated 3 years ago
- Declarative Data Viz 4 Scala☆53Updated 2 weeks ago
- A simple calculator app built with Scala JS and Tyrian.☆12Updated last year
- Debug as an Effect (DaaE)☆10Updated last month
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 5 months ago
- Companion to the Scala std lib, providing useful subtypes like `PositiveInt` or `MatchesRegex` as well as the ability to define custom va…☆32Updated 3 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 10 months ago
- ☆16Updated last year
- Purely functional Apache Pulsar client for Scala built on top of Fs2☆16Updated this week