iguana-parser / iguana

Related projects: ⓘ

• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆85Updated 4 years ago
• softdevteam / eco
  Editor for language composition
  ☆56Updated last year
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆67Updated last year
• talksmall / Strongtalk
  Strongtalk VM
  ☆100Updated 2 years ago
• eregon / mozart-graal
  An implementation of Oz on top of Truffle and Graal
  ☆41Updated 2 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆36Updated last week
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• MetaBorgCube / declare-your-language
  a book about declarative language definition
  ☆22Updated 8 years ago
• jeffreykegler / old_kollos
  The Kollos project [ARCHIVED]
  ☆30Updated 2 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆217Updated last year
• OracleLabs / GraalVM
  ☆44Updated this week
• SOM-st / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆32Updated 3 weeks ago
• oracle / souffle
  DEPRECATED. Soufflé is a translator of declarative Datalog programs into the C++ language.
  ☆49Updated 7 years ago
• rewriting / tom
  ☆34Updated 3 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• ceylon / ceylon-model
  DEPRECATED
  ☆12Updated 8 years ago
• metaborg / spoofax
  Spoofax runtime
  ☆127Updated last month
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 6 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆108Updated 9 months ago
• xoofx / gcix
  A cross-platform implementation of the Immix Garbage Collector
  ☆77Updated 10 years ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆87Updated 7 months ago
• smarr / ReBench
  Execute and document benchmarks reproducibly.
  ☆82Updated last week
• emina / kodkod
  Kodkod solver for relational logic
  ☆72Updated last year
• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 2 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆124Updated 2 years ago
• jeffreykegler / Marpa--R2
  Parse any language you can describe in BNF
  ☆157Updated last year
• lucasallan / LuaTruffle
  LuaTruffle, an implementation of Lua on the JVM using Truffle
  ☆55Updated 9 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆27Updated 5 years ago
• daniel-kun / omni
  The Omni Programming Language
  ☆34Updated 6 years ago
• smowton / llpe
  ☆49Updated 6 months ago