jphmrst / bps
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
☆16Updated 11 months ago
Related projects: ⓘ
- Linear Algebra and Statistics library for Scala.js, JVM, and Native.☆25Updated last month
- Making the execution of system processes easier in Scala☆13Updated this week
- Effect Zoo for Scala☆31Updated this week
- A case-insensitive string for Scala☆37Updated this week
- Scala.js interfaces for native JS types that ignore Scala semantics for the sake of performance.☆18Updated 9 months ago
- Molecule translates custom Scala code to database queries for multiple databases.☆17Updated this week
- CLI to search for Scala libraries on Scaladex, made with Scala.js and published to NPM☆31Updated last year
- Cooperative multithreading as a pure monad transformer☆72Updated this week
- ☆33Updated 3 months ago
- Scala Native support for the TensorFlow C API on Linux and macOS☆39Updated this week
- Minimal hello world using Scala 3 (Dotty) and running as GraalVM native-image☆32Updated 4 years ago
- Eval library and patched Scala-3/Dotty compiler. Evaluating source code and trees at compile time hacking multi-staging programming☆20Updated last year
- Linear types in Scala☆40Updated 3 weeks ago
- Higher kinded data in Scala☆18Updated last month
- Demo mixing definitions of macros for Scala 2 and 3 in one source file☆17Updated 2 years ago
- Immediate mode GUI in pure Scala☆19Updated this week
- ☆42Updated 9 months ago
- IdeaLingua RPC for Scala, TypeScript, C#, Go☆20Updated last month
- Compile-time expression evaluation for Scala☆15Updated 2 weeks ago
- Unique Functional Values for Scala☆17Updated 2 weeks ago
- Tiny dsl library for path et parameters of urls☆33Updated 2 months ago
- Optics experimentation for Dotty☆32Updated 2 years ago
- CLI to run functions as HTTP services using SNUnit☆23Updated last year
- ☆13Updated last year
- Declarative Data Viz 4 Scala☆50Updated last month
- Interfaces for interacting with the shell from Scala☆13Updated this week
- ☆16Updated 2 years ago
- they see me ringin'☆50Updated this week
- A simple, idiomatic (S)FTP client for ZIO☆29Updated 3 weeks ago
- ☆16Updated last year