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
  ☆377Updated 3 months ago
• mazeppa-dev / mazeppa
  A modern supercompiler for call-by-value functional languages
  ☆427Updated 2 months ago
• jart / morton
  ☆294Updated last year
• inpla / inpla
  Inpla: Interaction nets as a programming language (the current version)
  ☆311Updated last year
• Validark / Accelerated-Zig-Parser
  A high-throughput parser for the Zig programming language.
  ☆252Updated 6 months ago
• tpde2 / tpde
  A fast framework for writing baseline compiler back-ends in C++
  ☆583Updated 3 weeks ago
• kubkon / bold
  bold: the bold linker
  ☆335Updated 3 months ago
• HigherOrderCO / HVM3
  HVM3
  ☆268Updated last month
• HigherOrderCO / hvm-64
  ☆494Updated last year
• heroseh / hcc
  C Compiler to SPIR-V
  ☆472Updated 4 months ago
• rsms / llvmbox
  Self contained, fully static llvm tools & libs
  ☆353Updated 2 years ago
• srijan-paul / tinyjit
  Educational JIT compiler for ARM64 in Zig.
  ☆62Updated last year
• faiface / par-lang
  Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.
  ☆487Updated last week
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆667Updated 3 years ago
• Rexicon226 / zob
  Zig Optimizing Backend
  ☆21Updated 4 months ago
• cfallin / weval
  ☆174Updated 2 months ago
• phoboslab / neuralink_brainwire
  Attempt at Neuralink's Compression Challenge
  ☆86Updated last year
• VineLang / vine
  an experimental new programming language based on interaction nets
  ☆310Updated this week
• graphitemaster / detour
  A detour through the Linux dynamic linker
  ☆219Updated 3 months ago
• SheafificationOfG / based-cpp
  C++ is the based interpreted language
  ☆255Updated last month
• ssloy / tinyoptimizer
  Can I make an *optimizing* compiler under 1k lines of code?
  ☆63Updated 8 months ago
• BrowserJam / browserjam
  Let's build browsers this weekend!
  ☆143Updated last year
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆280Updated last year
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆401Updated last week
• robertmuth / Cwerg
  The best C-like language that can be implemented in 10kLOC.
  ☆645Updated last week
• phate / jlm
  ☆71Updated this week
• veyselusta / programming-language-research
  Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
  ☆250Updated last year
• descend-lang / descend
  An attempt at safe imperative GPU programming.
  ☆58Updated 2 months ago
• tomhea / flip-jump
  The single instruction language - Flip a bit, then Jump
  ☆130Updated 9 months ago
• ludocode / onramp
  A portable self-bootstrapping C compiler
  ☆169Updated this week