mguenther / csp-solver-scala
Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the original Java version. Features Sudoku as an example application.
☆10Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for csp-solver-scala
- C as an Embedded Language in Scala☆18Updated 9 years ago
- Scala Algebra System☆15Updated this week
- ☆15Updated 4 years ago
- prototyping logic programming in Scala☆40Updated 2 years ago
- High-performance helpers for working with flat arrays in Scala☆10Updated this week
- Staging area for new benchmarking infrastructure for Scala Native.☆15Updated last year
- Scala compiler plugin implementing parser macros☆9Updated 7 years ago
- A discrete, colored Petri Net DSL and executor☆17Updated 2 years ago
- Algebraic Graphs in Scala☆26Updated 3 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆20Updated 4 years ago
- Monad transformers for exception handling☆17Updated 3 months ago
- Making the execution of system processes easier in Scala☆13Updated this week
- An sbt plugin that backports parts of sbt 1's public API on top of sbt 0.13 implementation☆17Updated last year
- ☆57Updated 7 years ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆32Updated 9 years ago
- Giter8 template of a Udash application.☆19Updated last year
- sbt plugin for scala modules.☆14Updated this week
- A recursive ascent/descent parser generator for Scala☆33Updated 2 years ago
- A programming language for distributed applications☆34Updated 5 months ago
- Convert any value to code☆12Updated last year
- js.scala: JavaScript as an embedded DSL in Scala☆176Updated 9 years ago
- ☆22Updated 10 years ago
- A type-safe abstraction for platform-independent file system paths.☆24Updated 3 years ago
- Cross Platform Scala 2d graphics (but 3d compatible), basic geometry, maps, Earth maps, hex-tiling and strategy library(s).☆22Updated this week
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆13Updated last year
- XML String Interpolator for Dotty☆32Updated 7 months ago
- Effect Handlers for Java / the JVM☆30Updated 4 years ago
- A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).☆40Updated 6 years ago
- Algebraic Data Type Code Generator for Java and Apache Maven☆21Updated last year