Alternatives and similar repositories for RESOLVE

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

• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 3 months ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years 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 3 years ago
• stokito / fortress-lang
  ☆58Updated 8 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆68Updated this week
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆25Updated 12 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 5 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
• krcz / zygote
  Explorations in area of programming languages: concepts, typing, formal verification
  ☆18Updated 3 years ago
• kerneis / cpc
  Continuation Passing C
  ☆115Updated 6 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆21Updated 3 months ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 8 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆106Updated last year
• boschresearch / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆71Updated 3 years ago
• xoofx / gcix
  A cross-platform implementation of the Immix Garbage Collector
  ☆77Updated 11 years ago
• norswap / autumn
  A Java parser combinator library written with an unmatched feature set.
  ☆131Updated 4 years ago
• TuplexLanguage / tuplex
  The Tuplex programming language tools.
  ☆16Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆32Updated 7 months ago
• x10-lang / x10
  Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite
  ☆72Updated 4 years ago
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆29Updated 4 years ago
• enso-lang / enso
  ☆71Updated 5 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• AvailLang / Avail
  The Avail programming language. Includes the virtual machine, standard library, and standard examples.
  ☆59Updated last week
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 7 months ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆55Updated 7 years ago