Alternatives and similar repositories for pareas

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

• HigherOrderCO / hvm-64
  ☆494Updated last year
• mcy / best
  The Best Library: a C++ STL replacement
  ☆403Updated 6 months ago
• hirrolot / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆463Updated 3 weeks ago
• Gankra / abi-cafe
  Pair your compilers up at The ABI Cafe!
  ☆282Updated 6 months ago
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆318Updated last week
• kubkon / bold
  bold: the bold linker
  ☆340Updated 5 months ago
• srijan-paul / tinyjit
  Educational JIT compiler for ARM64 in Zig.
  ☆64Updated last year
• tpde2 / tpde
  A fast framework for writing baseline compiler back-ends in C++
  ☆597Updated last week
• Validark / Accelerated-Zig-Parser
  A high-throughput parser for the Zig programming language.
  ☆256Updated 8 months ago
• jart / morton
  ☆296Updated last year
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆65Updated 10 months ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆676Updated 3 years ago
• HigherOrderCO / HVM3
  HVM3
  ☆277Updated 3 months ago
• SeaOfNodes / Simple
  A Simple showcase for the Sea-of-Nodes compiler IR
  ☆821Updated this week
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆24Updated 6 months ago
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆255Updated last year
• robertmuth / Cwerg
  The best C-like language that can be implemented in 10kLOC.
  ☆669Updated this week
• SheafificationOfG / based-cpp
  C++ is the based interpreted language
  ☆274Updated 2 weeks ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆415Updated 2 weeks ago
• rsms / llvmbox
  Self contained, fully static llvm tools & libs
  ☆361Updated 2 years 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.
  ☆639Updated this week
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆202Updated last week
• heroseh / hcc
  C Compiler to SPIR-V
  ☆474Updated 6 months ago
• 8l / qbe
  A Quick Backend
  ☆373Updated 3 years ago
• BrowserJam / browserjam
  Let's build browsers this weekend!
  ☆143Updated last year
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆335Updated this week
• DutchGhost / zorrow
  Borrowchecker in Zig
  ☆117Updated 2 years ago
• minotaur-toolkit / minotaur
  A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.
  ☆119Updated this week
• athas / aoc22
  Advent of Futhark
  ☆13Updated last year
• cfallin / weval
  ☆174Updated 4 months ago