Alternatives and similar repositories for strategoxt:

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

• darius / parson
  Yet another PEG parser combinator library and DSL
  ☆56Updated last year
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 4 years ago
• SacBase / Stdlib
  This repository contains the Core and Extended source files of the Standard Library of the SaC programming language
  ☆14Updated this week
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• aldorlang / aldor
  The Aldor Programming Language
  ☆34Updated last month
• fritzo / pomagma
  An inference engine for extensional untyped λ-calculus
  ☆17Updated 2 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• dchapiesky / MetaIIVMInC
  the Meta-II VM in C
  ☆19Updated 9 years ago
• wbond / pymeta3
  A Python 3 compatible fork of https://launchpad.net/pymeta
  ☆18Updated 6 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆12Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆44Updated 9 years ago
• kragen / urscheme
  ☆21Updated 11 years ago
• cubicle-model-checker / cubicle
  The Cubicle model checker
  ☆13Updated last year
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• REX-Computing / unumjl
  Julia Implementation of Unums
  ☆42Updated 8 years ago
• awto / chr2sql
  CHR2 to SQL conversion
  ☆13Updated 9 years ago
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 8 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆28Updated 3 years ago
• brownplt / lambda-py
  ☆58Updated 11 years ago
• mohd-akram / compilers
  A list of compilers with some metadata.
  ☆12Updated 9 months ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated last month
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• ilyasergey / reachability
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Updated 9 years ago
• smarr / SOM
  SOM - Simple Object Machine
  ☆23Updated last month
• rain-1 / tarot-compiler
  ☆17Updated 5 years ago
• dhutchis / LaraDB
  A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database
  ☆11Updated 3 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆29Updated last week
• monte-language / typhon
  A virtual machine for Monte.
  ☆69Updated 11 months ago