Alternatives and similar repositories for RESOLVE

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

• tomekw / simple_blockchain
  Simple blockchain in Ada
  ☆21Updated 2 months ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• melt-umn / silver
  An attribute grammar-based programming language for composable language extensions
  ☆66Updated this week
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• google / tmppy
  TMPPy is a subset of Python that can be compiled to C++ meta-functions using the py2tmp compiler.
  ☆34Updated 3 years ago
• rewriting / tom
  ☆34Updated 5 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆29Updated 7 years ago
• maude-team / maude
  This repository contains the Maude 2 interpreter source tree.
  ☆43Updated 7 years ago
• AdaCore / langkit
  Language creation framework.
  ☆89Updated last week
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆37Updated last week
• codelabs-ch / muen
  Official mirror of the Muen Separation Kernel repository
  ☆89Updated this week
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆136Updated 4 years ago
• SWI-Prolog / swipl-wasm
  Run SWI-Prolog in your browser using WebAssemply
  ☆77Updated 3 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆53Updated 4 months ago
• alox-ai / alox-old
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆29Updated 2 years ago
• slebok / slebok
  Software Language Engineering Body of Knowledge
  ☆48Updated 5 years ago
• smarr / SOMpp
  SOM++ - C++ implementation of the Simple Object Machine Smalltalk
  ☆13Updated 3 months ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• dimitar-asenov / Envision
  A next-generation IDE that makes programming more efficient
  ☆97Updated 3 years ago
• kwantam / lviv
  stack-based RPN functional programming language
  ☆55Updated 7 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆105Updated last year
• pchapin / augusta
  A compiler for an Ada-like language
  ☆32Updated 6 months ago
• MatzeB / fluffy
  The fluffy programming language main repository
  ☆25Updated 12 years ago
• rod-chapman / SPARKNaCl
  SPARK 2014 re-implementation of the TweetNaCl crypto library
  ☆123Updated 8 months ago
• Componolit / SXML
  Formally verified, bounded-stack XML library
  ☆24Updated 5 years ago
• Componolit / gneiss
  Framework for platform-independent SPARK components
  ☆24Updated 5 years ago
• gracelang / minigrace
  Self-hosting compiler for the Grace programming language
  ☆41Updated last year
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• pluckyporcupine / fortress
  An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.
  ☆15Updated 3 years ago