Alternatives and similar repositories for redmagic:

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

• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆15Updated 13 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆39Updated 2 years ago
• feroldi / oxide
  Regionalized Value State Dependence Graph written in Rust
  ☆9Updated 5 years ago
• tekknolagi / ddcg
  Implementation of destination-driven code generation with control destinations. See [post.md](post.md)
  ☆24Updated 2 months ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆30Updated 5 years ago
• stephenrkell / libcrunch
  A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.
  ☆102Updated 4 months ago
• jasonnyberg / j2
  j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …
  ☆45Updated 10 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• kavon / llvm-statepoint-utils
  Runtime support for LLVM's GC Statepoints
  ☆42Updated 4 years ago
• phate / jlm
  ☆58Updated this week
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 3 years ago
• melt-umn / ableC
  Attribute grammar Based Language Extensions for C
  ☆39Updated this week
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• unison-code / uni-instr-sel
  Universal instruction selection
  ☆12Updated 6 years ago
• paulstansifer / unseemly
  Macros have types!
  ☆129Updated last year
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆90Updated 2 years ago
• andrewchambers / qc
  quick c
  ☆35Updated 2 years ago
• strake / frown
  LALR(k) Parser Generator for Haskell, by Ralf Hinze
  ☆9Updated 4 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• ikko-lang / ikko
  Ikko language
  ☆26Updated 4 years ago
• allvm / allvm-tools
  ALLVM Tools
  ☆56Updated 2 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆19Updated 6 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆26Updated this week
• diku-dk / futhark-with-fangs
  The web framework nobody asked for, wants, or needs.
  ☆20Updated 4 years ago
• mit-pdos / mcqc
  A Gallina compiler with C++17 as an intermediate representation
  ☆42Updated 3 years ago