Alternatives and similar repositories for RESOLVE:

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

• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆14Updated 2 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated last week
• giannitedesco / cola
  Cache Oblivious Lookahead Arrays
  ☆27Updated 11 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆22Updated 4 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated 2 months ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated 9 months ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 7 years ago
• DuncanCragg / OnexApp
  Spreadsheet-like programming on all your devices. http://object.network/onex-app.html
  ☆14Updated last year
• DOCGroup / CIAO
  CIAO is a C++ implementation of the OMG's LwCCM standard.
  ☆11Updated 4 years ago
• hengestone / parasail_git
  Open source files from the Parasail 8 release
  ☆9Updated 5 years ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆23Updated 4 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• SOM-st / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆15Updated this week
• lemire / backward_multiplication
  Multiplying... backward?
  ☆13Updated 4 years ago
• jrmarino / zstd-ada
  Zstandard for Ada - Fast real-time compression algorithm
  ☆14Updated 2 years ago
• stcarrez / dynamo
  Dynamo Ada Application Code Generator
  ☆17Updated 4 months ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 7 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 10 months ago
• Componolit / gneiss
  Framework for platform-independent SPARK components
  ☆23Updated 4 years ago
• AdaCore / sparkformal
  The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
  ☆11Updated 3 years ago
• libfirm / firm-testsuite
  libFirm regression testsuite
  ☆17Updated 4 years ago
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 9 years ago
• nany-lang / nanyc
  Official compiler for the Nany Programming Language {read-only mirror from gitlab}
  ☆12Updated 6 years ago
• b9org / b9
  An educational JS virtual machine based on Eclipse OMR
  ☆45Updated last year
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• grammarware / slps
  Software Language Processing Suite
  ☆45Updated 3 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• smarr / selfopt-interp-performance
  A reporting project on the performance of self-optimizing interpreters
  ☆16Updated 9 years ago
• pchapin / augusta
  An Ada compiler
  ☆28Updated this week