Alternatives and similar repositories for RESOLVE:

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

• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated last month
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated 3 weeks ago
• evincarofautumn / protodata
  A textual language for binary data.
  ☆37Updated 2 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆22Updated 4 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• stcarrez / dynamo
  Dynamo Ada Application Code Generator
  ☆17Updated 5 months ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated 11 months ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• hengestone / parasail_git
  Open source files from the Parasail 8 release
  ☆9Updated 5 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• EiffelSoftware / EiffelStudio
  Public mirror of https://svn.eiffel.com/eiffelstudio-public/trunk with 12 months delay, see https://github.com/EiffelSoftware/libraries f…
  ☆50Updated this week
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• grammarware / slps
  Software Language Processing Suite
  ☆46Updated 3 years ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 4 years ago
• DuncanCragg / OnexApp
  Spreadsheet-like programming on all your devices. http://object.network/onex-app.html
  ☆14Updated last year
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• nasa / PRECiSA
  Program Round-off Error Certifier via Static Analysis
  ☆51Updated 6 months ago
• nany-lang / nanyc
  Official compiler for the Nany Programming Language {read-only mirror from gitlab}
  ☆12Updated 6 years ago
• stokito / fortress-lang
  ☆54Updated 8 years ago
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 9 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆51Updated last year
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆39Updated 9 months ago
• OneWingedShark / Ada_Tutorial
  Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.
  ☆24Updated 11 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 2 years ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆61Updated 2 months ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• enso-lang / enso
  ☆71Updated 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