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 this week
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• IntelLabs / flrc-lib
  Pillar compiler, Pillar runtime, garbage collector.
  ☆23Updated 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
  ☆12Updated 2 weeks ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆28Updated 6 years ago
• yzyzsun / truffle-erlang
  Erlang implementation built on GraalVM/Truffle
  ☆13Updated 6 years ago
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 7 years ago
• blu / ascii_pruner
  Pruning of blanks from an ASCII stream - musings in AMD64 and ARM64
  ☆10Updated 4 years ago
• mlemerre / l-lang
  Compiler and tools for the L programming language
  ☆72Updated last year
• Frege / eclipse-plugin
  The eclipse plugin for frege, codename fregIDE
  ☆31Updated 5 years ago
• lemire / backward_multiplication
  Multiplying... backward?
  ☆13Updated 4 years ago
• acook / blacklight
  a stack-based concatenative virtual machine for implementing highly concurrent languages
  ☆45Updated last year
• AnyDSL / runtime
  AnyDSL Runtime Library
  ☆22Updated last week
• smarr / CSOM
  CSOM - C implementation of the Simple Object Machine Smalltalk
  ☆11Updated 3 years ago
• clnhlzmn / CopperKitten
  An exercise in programming language design and implementation.
  ☆19Updated 3 years ago
• sigurdschneider / lvc
  LVC verified compiler
  ☆57Updated 6 years ago
• ckkashyap / nimxv6
  Infuse nim into xv6 till it replaces all the "C"
  ☆13Updated 9 years ago
• microvm / microvm-refimpl2
  We have moved: https://gitlab.anu.edu.au/mu/mu-impl-ref2
  ☆26Updated 8 years ago
• smarr / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆35Updated last week
• tersesystems / ocaps
  Object capability (ocap) tools and macros for Scala.
  ☆18Updated 6 months ago
• raph-amiard / CamllVM
  An OCaml bytecode to LLVM compiler
  ☆43Updated 7 years ago
• janestreet / patience_diff
  Tool and library implementing patience diff
  ☆23Updated last week
• dougmacdoug / ponylang-linal
  Linear Algebra library for Pony Language
  ☆24Updated 3 months ago
• libfirm / bytecode2firm
  Convert Java bytecode to firm IR
  ☆18Updated 8 years ago
• lemire / costofsafety
  Quick experiment to see how expensive safety is in C, for research
  ☆12Updated 6 years ago
• ianopolous / JayD
  An x86 disassembler written in Java (port of udis86)
  ☆13Updated 10 years ago
• llvm-mirror / vmkit
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆30Updated 6 years ago
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 8 years ago
• geofflangdale / sheng
  A small DFA for under 16 states
  ☆51Updated 7 years ago