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 4 years ago
• maxtuno / PEQNP
  PEQNP Mathematical Solver
  ☆13Updated 3 years ago
• nasser / symba
  The Symbolic Assembler
  ☆56Updated 8 years ago
• kovasb / combinator
  Experiments with fast term-rewriting in clojure
  ☆64Updated 10 years ago
• dgrnbrg / piplin
  Compile Clojure to FPGAs
  ☆93Updated 10 years ago
• divs1210 / cljos
  Pronounced: chaos
  ☆18Updated 5 years ago
• nasser / mage
  Symbolic MSIL bytecode generation for ClojureCLR
  ☆64Updated 2 years ago
• jduey / protocol-monads
  A protocol based monad implementation for clojure
  ☆62Updated 10 years ago
• yogthos / components-example
  example of creating reusable re-frame components
  ☆14Updated 8 years ago
• rufoa / cljcc
  ☆12Updated 9 years ago
• latte-central / LaTTe
  LaTTe : a Laboratory for Type Theory experiments (in clojure)
  ☆260Updated 4 months ago
• oakes / iglu
  A Clojure data -> GLSL library
  ☆41Updated 4 years ago
• kennytilton / its-alive
  A Clojure dataflow library for building application models that run by themselves. It's alive!(tm) Starting out as a literal translation …
  ☆21Updated 3 years ago
• halgari / mjolnir
  ☆265Updated 12 years ago
• edn-format / data.edn
  ☆34Updated 2 years ago
• tgk / propaganda
  A propagator library for Clojure
  ☆166Updated 11 years ago
• abscondment / clj-kdtree
  kd-trees in Clojure
  ☆57Updated 8 years ago
• aengelberg / instagenerate
  Reversing instaparse with core.logic
  ☆78Updated 9 years ago
• takeoutweight / Clojure-CHR
  Constraint Handling Rules in Clojure
  ☆28Updated 13 years ago
• selfsame / hard
  clojure-unity fun stuff
  ☆32Updated 7 years 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
• jamesbornholt / ocelot
  A synthesis-enabled solver for relational logic
  ☆27Updated 7 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆56Updated 6 years ago
• jeremykross / to-glsl
  For those who love graphics programming and hate shading languages
  ☆27Updated 4 years ago
• IGJoshua / cljsl
  A simple recursive-descent based Clojure->GLSL compiler
  ☆23Updated 3 years ago
• nasser / nostrand
  Clojure on Mono
  ☆66Updated 2 years ago
• halgari / clojure-tutorial-source
  ☆20Updated 10 years ago
• gigasquid / eodermdrome
  An experimental esolang implementation of a Kolmogorov-Uspensky machine
  ☆29Updated 9 years ago
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆31Updated last month
• bwo / monads
  yet another monad lib for clojure
  ☆94Updated 7 years ago