Alternatives and similar repositories for pareas

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

• mcy / best
  The Best Library: a C++ STL replacement
  ☆356Updated last month
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆422Updated 4 months ago
• jart / morton
  ☆293Updated last year
• HigherOrderCO / hvm-64
  ☆496Updated last year
• robertmuth / Cwerg
  The best C-like language that can be implemented in 10kLOC.
  ☆638Updated last month
• srijan-paul / tinyjit
  Educational JIT compiler for ARM64 in Zig.
  ☆62Updated last year
• tpde2 / tpde
  A fast framework for writing baseline compiler back-ends in C++
  ☆496Updated 2 weeks ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆310Updated 9 months ago
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆61Updated 6 months ago
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆437Updated this week
• cfallin / weval
  ☆173Updated 10 months ago
• heroseh / hcc
  C Compiler to SPIR-V
  ☆469Updated 2 months ago
• pizlonator / fil-c
  Fil-C
  ☆961Updated last week
• Validark / Accelerated-Zig-Parser
  A high-throughput parser for the Zig programming language.
  ☆249Updated 4 months ago
• kubkon / bold
  bold: the bold linker
  ☆334Updated last month
• isuckatcs / how-to-compile-your-language
  An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.
  ☆129Updated 4 months ago
• HigherOrderCO / HVM3
  HVM3
  ☆255Updated this week
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆666Updated 2 years ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆685Updated 2 weeks ago
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆20Updated 2 months ago
• SeaOfNodes / Simple
  A Simple showcase for the Sea-of-Nodes compiler IR
  ☆764Updated last week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆243Updated 11 months ago
• graphitemaster / detour
  A detour through the Linux dynamic linker
  ☆206Updated last month
• 8l / qbe
  A Quick Backend
  ☆351Updated 3 years ago
• grassator / mass
  A compiler for a new language focusing on compile-time execution and no LLVM dependency.
  ☆289Updated last year
• phate / jlm
  ☆68Updated this week
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆601Updated last year
• RealNeGate / Cuik
  A Modern C11 compiler (STILL EARLY)
  ☆1,156Updated last week
• IanBriggs / megalibm
  ☆17Updated 2 years ago
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated 11 months ago