Alternatives and similar repositories for csp-solver-scala

Users that are interested in csp-solver-scala are comparing it to the libraries listed below

• epfldata / c-scala
  C as an Embedded Language in Scala
  ☆18Updated 10 years ago
• fdietze / flatland
  High-performance helpers for working with flat arrays in Scala
  ☆10Updated 4 months ago
• rjolly / scas
  Scala Algebra System
  ☆16Updated 3 months ago
• scala-native / scala-native-benchmarks
  Staging area for new benchmarking infrastructure for Scala Native.
  ☆15Updated last year
• astojanov / NGen
  SIMD Intrinsics in the JVM
  ☆48Updated 7 years ago
• kiritsuku / amora
  The semantic search engine where anyone can define anything anywhere
  ☆30Updated 8 years ago
• sviperll / higher-kinded-java
  ☆13Updated 8 years ago
• tribbloid / shapesafe
  SHAPE/S∀F∃: static prover/type-checker for N-D array programming in Scala, a use case of intuitionistic type theory
  ☆32Updated last year
• marianobarrios / dregex
  dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-sty…
  ☆47Updated last week
• ivtoskov / lms-intrinsics
  A package that enables the use of SIMD x86 instructions in the Lightweight Modular Staging Framework (LMS).
  ☆40Updated 7 years ago
• scala-loci / scala-loci
  A programming language for distributed applications
  ☆35Updated last year
• lampepfl / xml-interpolator
  XML String Interpolator for Dotty
  ☆35Updated last year
• meerkat-parser / Meerkat
  Meerkat parsers
  ☆24Updated 8 years ago
• algebraic-graphs / scala
  Algebraic Graphs in Scala
  ☆27Updated 3 years ago
• Duhemm / parsermacros
  Scala compiler plugin implementing parser macros
  ☆9Updated 8 years ago
• djspiewak / scala-bison
  A recursive ascent/descent parser generator for Scala
  ☆33Updated 2 years ago
• akiomik / cats-nio-file
  A thin scala wrapper for Java NIO.2, built on cats-effect 🐱
  ☆13Updated 2 years ago
• ruestigraben / ruesti-base
  Base library for Rüstigraben
  ☆18Updated 4 years ago
• vic / cyclone
  Cyclic Airstream-based stateful components for functional-reactive interfaces on Laminar and Scala.js
  ☆11Updated last week
• epfldata / dbstage
  ☆15Updated 5 years ago
• regb / scabolic
  Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.
  ☆32Updated 10 years ago
• bishabosha / Mesa
  Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.
  ☆21Updated 5 years ago
• certichain / network-transformations
  A Framework for building Distributed Consensus Protocols
  ☆10Updated 7 years ago
• jokade / scalanative-cocoa
  A scala-native bridge to Cocoa
  ☆22Updated 2 years ago
• Atry / memcontinuationed
  Memcached client for Scala
  ☆50Updated 8 years ago
• talios / datatyper
  Algebraic Data Type Code Generator for Java and Apache Maven
  ☆21Updated last year
• manojo / parsequery
  A fast parser combinator library, with extra querying goodness
  ☆34Updated 8 years ago
• xencura / kagera
  A discrete, colored Petri Net DSL and executor
  ☆17Updated 2 years ago
• jcouyang / owlet
  Typed Spreadsheet UI library for ScalaJS
  ☆40Updated 2 years ago
• sacode387 / FlowRun
  Runnable flowcharts for the web
  ☆49Updated 5 months ago