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 week
• DuncanCragg / OnexApp
  Spreadsheet-like programming on all your devices. http://object.network/onex-app.html
  ☆15Updated 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
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago
• kframework / java-semantics
  The semantics of Java in K
  ☆19Updated 3 years ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆19Updated 3 years ago
• janestreet / patience_diff
  Tool and library implementing patience diff
  ☆23Updated last month
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• AnyDSL / runtime
  AnyDSL Runtime Library
  ☆22Updated 3 weeks ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆12Updated last week
• SOM-st / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆15Updated last week
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• cretz / goahead
  A JVM AOT
  ☆16Updated 8 years ago
• stokito / fortress-lang
  ☆56Updated 8 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆27Updated 4 months ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 8 years ago
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆24Updated 12 years ago
• arthwang / vsc-picat
  A VS Code extension supporting for Picat language
  ☆16Updated 6 years ago
• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆22Updated 5 years ago
• xanadu-lang / xinterp
  An interpreter for the D3-level syntax of ATS3/Xanadu
  ☆11Updated 4 years ago
• hellige / ccs-cpp
  CCS in C++
  ☆26Updated 2 years ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated 3 months ago
• rewriting / tom
  ☆34Updated 4 years ago
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 8 years ago
• yzyzsun / truffle-erlang
  Erlang implementation built on GraalVM/Truffle
  ☆14Updated 6 years ago
• pchapin / augusta
  A compiler for an Ada-like language
  ☆31Updated last month
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• rebolsource / r3
  Source code for the Rebol [R3] interpreter
  ☆29Updated 10 months ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• munificent / lark
  The Lark programming language.
  ☆58Updated 14 years ago