Alternatives and similar repositories for RESOLVE

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

• x10-lang / x10
  Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite
  ☆72Updated 4 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• boschresearch / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆71Updated 3 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 5 months ago
• kevina / zl
  A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…
  ☆30Updated 4 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆54Updated 7 months ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆21Updated 4 months ago
• xoofx / gcix
  A cross-platform implementation of the Immix Garbage Collector
  ☆77Updated 11 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• stokito / fortress-lang
  ☆59Updated 9 years ago
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 10 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• briantrice / slate-language
  The Slate programming language
  ☆149Updated 2 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 11 years ago
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆46Updated 2 years ago
• munificent / bulfinch
  Just a little toy language to learn about register-based VMs.
  ☆22Updated 13 years ago
• crack-lang / crack
  ☆93Updated 2 months ago
• grammarware / slps
  Software Language Processing Suite
  ☆47Updated 4 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆227Updated 3 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆42Updated last year
• FeepingCreature / fcc
  fcc is the compiler for Neat, my D-lite language.
  ☆50Updated 8 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 9 months ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 5 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆59Updated 3 weeks ago
• SOM-st / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆15Updated 5 months ago
• jkff / ire
  Incremental regular expression matching
  ☆53Updated 13 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆33Updated 5 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆103Updated 4 years ago