jphmrst / bps
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
- Benchmarks and examples for a "Slow Auto, Inconvenient Semi" presentation☆10Updated this week
- A case-insensitive string for Scala☆38Updated last week
- Making the execution of system processes easier in Scala☆13Updated last month
- Linear Algebra and Statistics library for Scala.js, JVM, and Native.☆30Updated last week
- Linear types in Scala☆43Updated this week
- Effect Zoo for Scala☆32Updated 2 weeks ago
- Typeclass instances for `parsley` to make it compatible with `cats`☆11Updated last month
- Scala Native bindings To Gtk4 C API☆33Updated 2 months ago
- Molecule translates custom Scala code to database queries for multiple databases.☆19Updated last month
- Purely functional Apache Pulsar client for Scala built on top of Fs2☆16Updated last week
- Scala.js interfaces for native JS types that ignore Scala semantics for the sake of performance.☆21Updated last year
- Scala News - A Community Crowd Sourced newsletter using RSS☆38Updated 3 months ago
- Unique Functional Values for Scala☆17Updated 6 months ago
- Fast streams for Scala 3☆52Updated last month
- Cooperative multithreading as a pure monad transformer☆73Updated last week
- SBT project generator for flexible monorepo flow☆27Updated this week
- A simple, idiomatic (S)FTP client for ZIO☆29Updated 5 months ago
- Experiments with composable lock-free concurrency☆16Updated this week
- Eval evaluates Scala 3 code. Why parse JSON when you can load case classes?☆20Updated last month
- Typeclasses for serialization in scala☆14Updated this week
- Compile-time expression evaluation for Scala 2☆15Updated last week
- Turn a normal resource into a pooled one.☆39Updated 2 years ago
- Declarative Data Viz 4 Scala☆52Updated 2 weeks ago
- Reference interpreter for TASTy, the Scala 3 interchange format☆12Updated 2 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 8 months ago
- ☆35Updated 9 months ago
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆17Updated 3 years ago
- ☆16Updated last year
- A SBT Plugin Which Automatically Configures MiMa Based On Your Version Scheme (SemVer, PVP, etc)☆11Updated last year
- Additional rules for Scalafix. The part of scalazzi rules.☆33Updated 2 years ago