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
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• orchid-hybrid / microKanren-sagittarius
  microKanren sagittarius/larceny
  ☆11Updated 10 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆56Updated 6 years ago
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆31Updated 3 weeks ago
• hraberg / akeem
  Akeem is a small JIT-ed subset of R7RS Scheme written in x86-64 assembler as an experiment.
  ☆22Updated 8 years ago
• webyrd / tree-automata
  Tree-automata-based run-time type constraints for miniKanren
  ☆14Updated last year
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated last year
• JanWielemaker / ffi
  SWI-Prolog dynamic C interface
  ☆17Updated 9 months ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 4 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆32Updated 10 years ago
• otabat / shen-c
  A C implementation of the Shen programming language
  ☆70Updated 3 years ago
• webyrd / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆36Updated 3 years ago
• vsklad / cgen
  CGen is a tool for encoding SHA-1 and SHA-256 hash functions into CNF in DIMACS format, also into ANF polynominal system in PolyBoRi outp…
  ☆25Updated 2 years ago
• jeapostrophe / pict3d
  3-dimensional picts
  ☆40Updated 5 months ago
• clf / lollimon
  Lollimon, a monadic concurrent linear logic programming language
  ☆28Updated 13 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆34Updated 2 years ago
• upscale-project / generic-sqed-demo
  ☆13Updated 4 years ago
• saeednj / SAT-encoding
  Encoding different problems into Boolean satisfiability
  ☆12Updated 2 years ago
• dgrnbrg / piplin
  Compile Clojure to FPGAs
  ☆93Updated 10 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆63Updated 9 years ago
• eholk / elegant-weapons
  An R6RS framework for creating compilers that target C.
  ☆113Updated 9 years ago
• racket / datalog
  ☆48Updated last month
• melsman / aplparse
  APL parser written in Standard ML
  ☆19Updated 9 years ago
• tonyg / kali-scheme
  Kali is Kelsey and Rees's distributed Scheme implementation based on Scheme48
  ☆38Updated 13 years ago
• webyrd / dissertation-single-spaced
  Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'
  ☆58Updated 6 years ago
• webyrd / cato
  Concatenative relational interpreter in miniKanren
  ☆22Updated 10 years ago