smarr / SOMns
SOMns: A Newspeak for Concurrency Research
☆69Updated last month
Alternatives and similar repositories for SOMns:
Users that are interested in SOMns are comparing it to the libraries listed below
- An implementation of Oz on top of Truffle and Graal☆41Updated 3 years ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Strongtalk VM☆101Updated 3 years ago
- Collapsing Towers of Interpreters☆90Updated last year
- Type checking and logical inference for JetBrains MPS☆32Updated this week
- Bindings for llvm in racket☆65Updated 9 years ago
- purple: compiling a reflective language☆32Updated 6 months ago
- Orc programming language implementation☆44Updated 3 years ago
- An implementation of the Newspeak programming language☆61Updated 2 months ago
- Resumable exceptions and delimited continuations for JVM☆40Updated 3 weeks ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Java-based lightweight Prolog virtual machine☆34Updated 9 months ago
- prototype parser run-time, back-end for different kinds of parser generators, including rascal.☆51Updated last year
- ☆71Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆48Updated 10 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆120Updated 3 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆102Updated last year
- The Slate programming language☆146Updated last year
- Editor for language composition☆58Updated 2 years ago
- ☆94Updated this week
- Execute and document benchmarks reproducibly.☆90Updated 2 months ago
- Kanren with databases☆43Updated 8 months ago
- Lowtalk, a new Smalltalk dialect to replace Slang☆39Updated 5 years ago
- Software Language Engineering Body of Knowledge☆48Updated 5 years ago
- The MLtonLibrary repository☆36Updated 2 years ago
- surgical precision JIT compilers☆121Updated 7 years ago
- This repository contains the Maude 2 interpreter source tree.☆43Updated 7 years ago
- SOM - Simple Object Machine☆70Updated last month
- Magnolisp, a toy programming language☆16Updated last year
- Statically typed embedding of miniKanren relational programming language into OCaml☆117Updated 3 weeks ago