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:
- Effect Zoo for Scala☆41Updated last week
- Fast streams for Scala 3☆53Updated 5 months ago
- Linear types in Scala☆43Updated last week
- ☆21Updated last week
- Making the execution of system processes easier in Scala☆13Updated 5 months ago
- just place for some random notes about programming☆16Updated 6 months ago
- Scala 3 library to compose type-inferred data from SQL databases☆20Updated last week
- Compile-time expression evaluation for Scala 2☆16Updated last month
- SBT project generator for flexible monorepo flow☆27Updated last month
- Scala Native bindings To Gtk4 C API☆34Updated 6 months ago
- Friendly fork of Scala.js, target stand-alone Wasm leveraging WASI and Component Model☆22Updated 3 weeks 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
- IdeaLingua RPC for Scala, TypeScript, C#, Go☆21Updated 3 weeks ago
- Benchmarks and examples for a "Slow Auto, Inconvenient Semi" presentation☆16Updated 3 months ago
- Reference interpreter for TASTy, the Scala 3 interchange format☆13Updated 2 years ago
- Scala.js abstraction for a common core of features shared by Array[T], js.Array[T], and the JavaScript TypedArray family of Arrays..☆23Updated last week
- Eval evaluates Scala 3 code. Why parse JSON when you can load case classes?☆20Updated 2 months ago
- N-dimensional / multi-dimensional arrays (tensors) in Scala 3. Think NumPy ndarray / PyTorch Tensor but type-safe over shapes, array/axis…☆47Updated 2 years ago
- A Proof Generator for Entailments and Tautologies in First-order Logic☆39Updated 7 months ago
- A simple calculator app built with Scala JS and Tyrian.☆12Updated last year
- A Scala testing library for homeworks☆10Updated 2 years ago
- SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory☆32Updated last year
- Scala.js interfaces for native JS types that ignore Scala semantics for the sake of performance.☆21Updated last year
- Purely functional Apache Pulsar client for Scala built on top of Fs2☆16Updated last week
- ZIO-inspired APIs for Kyo☆12Updated last year
- A build tool for Scala☆33Updated 6 months ago
- Experiments with composable lock-free concurrency☆17Updated this week
- Powerful, joyful building blocks for modern cloud-native applications.☆37Updated this week
- ☆34Updated last year
- Typesafe record types for Scala☆21Updated 5 months ago