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 weeks ago
• AlexKashuba / SQLite_JIT
  ☆27Updated 7 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆45Updated 2 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆40Updated last year
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last week
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• x10-lang / x10
  Core implementation of X10 programming language including compiler, runtime, class libraries, sample programs and test suite
  ☆72Updated 3 years ago
• dimitar-asenov / Envision
  A next-generation IDE that makes programming more efficient
  ☆99Updated 3 years ago
• Whiley / WhileyCompiler
  The Whiley Compiler (WyC)
  ☆222Updated 2 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• NuxiNL / argdata
  A binary serialisation format inspired by YAML, MessagePack and nvlists.
  ☆32Updated 4 years ago
• briantrice / slate-language
  The Slate programming language
  ☆147Updated last year
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated 10 months ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆135Updated 4 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated last month
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• herrmanntom / setlX
  setlX is an interpreter for the high level programming-language SetlX (set language extended).
  ☆27Updated 3 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆107Updated 6 years ago
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 4 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆62Updated 6 months ago
• rochus-keller / FlowLine2
  FlowLine2 is a modelling tool supporting Functional Analysis and Business Process Modelling
  ☆16Updated 3 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆102Updated 3 years ago
• xoofx / gcix
  A cross-platform implementation of the Immix Garbage Collector
  ☆78Updated 11 years ago
• microsoft / checkedc-llvm
  Thiis is a *deprecated* repo that contains a version of LLVM that was being modified to support Checked C. We have moved to a single (m…
  ☆99Updated 2 years ago
• MetaBorgCube / IceDust
  A language for data modeling and incremental computing of derived values
  ☆11Updated last year
• boschresearch / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆72Updated 3 years ago
• DuncanCragg / OnexApp
  Spreadsheet-like programming on all your devices. http://object.network/onex-app.html
  ☆15Updated last month
• rmacnak / primordialsoup
  An implementation of the Newspeak programming language
  ☆63Updated 2 months ago