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:
- Molecule translates custom Scala code to database queries for multiple databases.☆20Updated last week
- Scala Native bindings To Gtk4 C API☆34Updated 5 months ago
- Effect Zoo for Scala☆41Updated last week
- Making the execution of system processes easier in Scala☆13Updated 4 months ago
- Compile-time expression evaluation for Scala 2☆16Updated 2 weeks ago
- Experiments with composable lock-free concurrency☆17Updated this week
- Powerful, joyful building blocks for modern cloud-native applications.☆30Updated last week
- A case-insensitive string for Scala☆40Updated 2 weeks ago
- just place for some random notes about programming☆16Updated 5 months ago
- Linear types in Scala☆43Updated last week
- Typeclasses for serialization in scala☆15Updated last week
- ☆20Updated last week
- Tiny dsl library for path et parameters of urls☆37Updated 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
- ZIO-inspired APIs for Kyo☆12Updated last year
- Fast streams for Scala 3☆52Updated 4 months ago
- A SBT Plugin Which Automatically Configures MiMa Based On Your Version Scheme (SemVer, PVP, etc)☆11Updated last year
- Eval evaluates Scala 3 code. Why parse JSON when you can load case classes?☆20Updated last month
- Higher kinded data in Scala☆20Updated 3 months ago
- SBT project generator for flexible monorepo flow☆27Updated last month
- A Proof Generator for Entailments and Tautologies in First-order Logic☆39Updated 6 months ago
- IdeaLingua RPC for Scala, TypeScript, C#, Go☆21Updated this week
- Skunk-inspired library for SQLite on JVM, Node.js, and Native☆30Updated last month
- Scala.js interfaces for native JS types that ignore Scala semantics for the sake of performance.☆21Updated last year
- Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows☆21Updated 6 months ago
- ☆34Updated last year
- Purely functional Apache Pulsar client for Scala built on top of Fs2☆16Updated last week
- A minimal Scala creative coding library targeting JVM/Javascript/Native☆57Updated last week
- Immediate mode GUI in pure Scala☆19Updated 2 weeks ago
- Typeclass instances for `parsley` to make it compatible with `cats`☆11Updated 4 months ago