Alternatives and similar repositories for Ruffini

Users that are interested in Ruffini are comparing it to the libraries listed below

• UnitTestBot / kosat
  Pure Kotlin CDCL SAT solver
  ☆9Updated last year
• uuverifiers / autosat
  Constructing automata with SAT solvers
  ☆8Updated 6 years ago
• madvorak / grammars
  Formal grammars in Lean 3
  ☆8Updated last year
• OPLSS / oplss-notes-2021
  Materials for OPLSS 2021
  ☆11Updated 4 years ago
• probing-lab / polar
  ☆17Updated 2 months ago
• Anon52MI4 / oeis-alien
  ☆19Updated 2 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated 9 months ago
• jdmota / java-typestate-checker
  JaTyC: a typestate checker for Java
  ☆17Updated 5 months ago
• tidyparse / tidyparse
  ✂️ Syntax correction in context-free languages.
  ☆22Updated 2 weeks ago
• ekmett / nbe-in-java-19
  a throwaway implementation of normalization by evaluation
  ☆13Updated 2 years ago
• webyrd / midoriKanren
  Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren
  ☆17Updated last month
• namin / lms-verify
  generative programming & verification
  ☆33Updated 3 weeks ago
• melt-umn / copper
  An integrated context-aware scanner and parser generator
  ☆20Updated last year
• wenxiwang / neuroback
  ☆9Updated 6 months ago
• s-falke / kittel-koat
  KITTeL/KoAT
  ☆21Updated 6 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• ericfinster / orchard
  Orchard Opetopic Proof Assistant
  ☆27Updated 9 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆43Updated last year
• haslab / Electrum
  A model checker for relational first-order temporal specifications
  ☆27Updated 4 years ago
• namin / scalogno
  prototyping logic programming in Scala
  ☆41Updated 3 years ago
• alpha-asp / Alpha
  A lazy-grounding Answer-Set Programming system
  ☆60Updated 4 months ago
• suyjuris / obst
  Online BDD Simulation Tool
  ☆19Updated last week
• namin / reflective-towers
  software archaeology of reflective towers of interpreters
  ☆16Updated last month
• OriRoth / fling
  A fluent API generator
  ☆25Updated last year
• HarvardPL / AbcDatalog
  Datalog that's as easy as ABC.
  ☆59Updated last month
• ptarau / pypro
  Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python
  ☆20Updated 2 years ago
• gregr / first-order-miniKanren
  miniKanren with a first-order representation of the search space
  ☆16Updated 11 months ago
• breandan / markovian
  🎲 A Kotlin DSL for probabilistic programming.
  ☆12Updated 3 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆8Updated 6 years ago
• CatarinaGamboa / liquidjava
  ☆41Updated this week