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
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 5 months ago
• AnyDSL / runtime
  AnyDSL Runtime Library
  ☆24Updated 2 weeks ago
• stokito / fortress-lang
  ☆59Updated 9 years ago
• briantrice / slate-language
  The Slate programming language
  ☆149Updated 2 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 4 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• boschresearch / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆71Updated 3 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 8 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
• rewriting / tom
  ☆34Updated 5 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last week
• billsix / bug
  Bill's Utilities for Gambit Scheme
  ☆17Updated 5 years ago
• talksmall / Strongtalk
  Strongtalk VM
  ☆103Updated 4 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• smarr / SOMns
  SOMns: A Newspeak for Concurrency Research
  ☆69Updated 11 months ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆42Updated last year
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆92Updated last week
• giannitedesco / cola
  Cache Oblivious Lookahead Arrays
  ☆27Updated 12 years ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 5 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆62Updated last week
• t1lang / t1bootstrap
  Bootstrap compiler
  ☆44Updated 6 years ago
• studio / studio
  Studio is an interactive software diagnostics environment
  ☆121Updated 5 years ago
• OneWingedShark / Ada_Tutorial
  Program texts for a LISP interpreter writen as a Tutorial for Ada 2012.
  ☆24Updated 12 years ago