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
Related projects ⓘ
Alternatives and complementary repositories for bps
- Linear Algebra and Statistics library for Scala.js, JVM, and Native.☆25Updated 3 months ago
- Fast streams for Scala 3☆46Updated last year
- Cooperative multithreading as a pure monad transformer☆73Updated this week
- Linear types in Scala☆39Updated last week
- Effect Zoo for Scala☆31Updated 2 weeks ago
- Implementation of the Free Arrow in Scala and other helpful tools for working with Arrows☆19Updated 8 months ago
- Compile-time expression evaluation for Scala 2☆15Updated last month
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆31Updated last year
- Making the execution of system processes easier in Scala☆13Updated this week
- WIP Delightful, purely functional testing no-framework. Don't even try to use it at work!☆37Updated last week
- Molecule translates custom Scala code to database queries for multiple databases.☆18Updated last month
- A case-insensitive string for Scala☆37Updated last week
- Distributed Concurrent State Machines with Rediculous/Redis☆21Updated 4 months ago
- Purely functional Apache Pulsar client for Scala built on top of Fs2☆16Updated this week
- ☆33Updated 5 months ago
- Typeclasses for serialization in scala☆15Updated this week
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆17Updated 2 years ago
- Experiments with composable lock-free concurrency☆17Updated this week
- A simple calculator app built with Scala JS and Tyrian.☆12Updated 11 months ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated 2 years ago
- Skunk-inspired library for SQLite on JVM, Node.js, and Native☆30Updated this week
- Scala 3 native binding generator + libclang facade☆80Updated last week
- Implementation of TimeLine with Durable Execution☆17Updated 2 weeks ago
- Tiny dsl library for path et parameters of urls☆34Updated 4 months ago
- Unique Functional Values for Scala☆17Updated 2 months ago
- A build tool for Scala☆28Updated 2 weeks ago
- ☆42Updated last year
- To probe what we can't prove, so the unprovable may become probable; testing for Scala☆55Updated 2 weeks ago
- A simple, idiomatic (S)FTP client for ZIO☆29Updated last month