Alternatives and similar repositories for RESOLVE

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

• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• stokito / fortress-lang
  ☆57Updated 8 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated last week
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• AnyDSL / runtime
  AnyDSL Runtime Library
  ☆22Updated 3 months ago
• daeken / RenrakuOS
  Managed research kernel
  ☆43Updated 15 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 4 months ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• 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
• rewriting / tom
  ☆34Updated 4 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆21Updated 5 years ago
• ponylang / rfcs
  RFCs for changes to Pony
  ☆61Updated 7 months ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 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
• DuncanCragg / OnexApp
  Spreadsheet-like programming on all your devices. http://object.network/onex-app.html
  ☆16Updated 2 months ago
• nkatzz / OLED
  An Inductive Logic Programming system for online learning of event definitions in the form of Event Calculus programs
  ☆19Updated 4 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• boschresearch / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆72Updated 3 years ago
• lojikil / carML
  carML - a yummy and sweet ML dialect
  ☆19Updated 3 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 9 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• alox-ai / alox
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Updated 2 years ago
• kerneis / cpc
  Continuation Passing C
  ☆113Updated 6 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆33Updated 3 months ago
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆25Updated 12 years ago
• llir / grammar
  EBNF grammar of LLVM IR assembly.
  ☆65Updated 2 years ago