Alternatives and similar repositories for SLIME

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

• maxtuno / slime-sat-solver
  A Free World Class High Performance SAT Solver
  ☆20Updated 3 years ago
• maxtuno / PEQNP
  PEQNP Mathematical Solver
  ☆13Updated 3 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆31Updated this week
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• fadoss / umaudemc
  Unified Maude model-checking tool
  ☆11Updated 5 months ago
• racket / datalog
  ☆46Updated 3 weeks ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• wimmers / munta
  Fully verified model checker for realtime systems
  ☆17Updated 2 years ago
• webyrd / normalization-by-evaluation
  Normalization-by-evaluation in miniKanren
  ☆24Updated 2 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆56Updated 6 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago
• orchid-hybrid / microKanren-sagittarius
  microKanren sagittarius/larceny
  ☆11Updated 9 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• isabelle-utp / utp-main
  An implementation of Hoare and He's Unifying Theories of Programming in Isabelle
  ☆35Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last year
• biotomas / ipasir
  The Standard Interface for Incremental Satisfiability Solving
  ☆49Updated 2 years ago
• braibant / Synthesis
  ☆21Updated 9 years ago
• samer-- / prolog
  Prolog stuff
  ☆28Updated 5 years ago
• rjnw / sham
  A DSL for runtime code generation in racket
  ☆67Updated 3 years ago
• fedeinthemix / chez-scmutils
  Port of the 'MIT Scmutils' library to Chez Scheme.
  ☆36Updated 9 months ago
• BRiAl / BRiAl
  Successor to PolyBoRi
  ☆19Updated 2 weeks ago
• racket / math
  ☆38Updated 3 weeks ago
• imandra-ai / minisat-ml
  Faithful reimplementation of Minisat 2.2 in OCaml.
  ☆38Updated 2 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 5 years ago
• egison / egison-scheme
  Scheme macros for non-linear pattern matching with backtracking for non-free data types
  ☆28Updated 5 years ago
• philnguyen / soft-contract
  A prototype of soft contract verification for an untyped functional language
  ☆35Updated 4 years ago
• mbudde / jana
  An interpreter for Janus, the reversible programming language.
  ☆15Updated 5 years ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago