Alternatives and similar repositories for SOMns:

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

• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 3 years ago
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated 2 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆90Updated last year
• talksmall / Strongtalk
  Strongtalk VM
  ☆102Updated 3 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆43Updated 10 years ago
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆62Updated this week
• ptarau / iProlog
  Java-based lightweight Prolog virtual machine
  ☆34Updated 10 months ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• gregr / dbKanren
  Kanren with databases
  ☆43Updated 9 months ago
• RobertHarper / TILT-Compiler
  Standard ML compiler based on typed intermediate languages.
  ☆48Updated 10 years ago
• namin / staged-miniKanren
  multi-stage relational programming for staged relational interpreters: running with holes, faster
  ☆130Updated last week
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• michaelballantyne / faster-minikanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆156Updated 3 months ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆29Updated 7 years ago
• fare / moll
  My Own Linear Lisp
  ☆40Updated 6 years ago
• racket / datalog
  ☆46Updated 2 months ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• javactrl / javactrl
  Resumable exceptions and delimited continuations for JVM
  ☆42Updated this week
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• softdevteam / eco
  Editor for language composition
  ☆58Updated 2 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆143Updated last week
• rntz / minikanren-datalog
  Datalog implemented in minikanren
  ☆24Updated 7 years ago
• namin / clpsmt-miniKanren
  CLP(SMT) on top of miniKanren
  ☆35Updated 3 years ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆90Updated 2 months ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆23Updated 9 years ago