Snektron / pareas
GPU-accelerated compiler
☆343Updated last year
Alternatives and similar repositories for pareas:
Users that are interested in pareas are comparing it to the libraries listed below
- The Best Library: a C++ STL replacement☆189Updated last month
- A modern supercompiler for call-by-value functional languages☆407Updated last week
- ☆172Updated 6 months ago
- ☆296Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆299Updated 5 months ago
- The best C-like language that can be implemented in 10kLOC.☆582Updated this week
- A high-throughput parser for the Zig programming language.☆206Updated last week
- C Compiler to SPIR-V☆458Updated last month
- ☆498Updated 10 months ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆194Updated 7 months ago
- bold: the bold linker☆279Updated 3 weeks ago
- A garden of small programming language implementations 🪴☆221Updated this week
- an experimental new programming language based on interaction nets☆252Updated this week
- an educational compiler intermediate representation☆653Updated last month
- The MaPLe compiler: efficient and scalable parallel functional programming☆376Updated last month
- Fil-C☆638Updated this week
- A Quick Backend☆332Updated 3 years ago
- A modern fully featured C compiler.☆1,315Updated this week
- A Simple showcase for the Sea-of-Nodes compiler IR☆615Updated this week
- The rustic MLIR bindings in Rust☆395Updated last week
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆287Updated last year
- A Modern C11 compiler (STILL EARLY)☆1,115Updated this week
- Educational JIT compiler for ARM64 in Zig.☆58Updated 8 months ago
- Test and benchmark suite for sort implementations.☆387Updated last month
- x86 C compiler written in untyped lambda calculus☆652Updated 2 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆218Updated 5 months ago
- The TenDRA Project☆241Updated 8 months ago
- An introduction to language design through building a compiler frontend and completing a self-paced exercise on top of LLVM.☆114Updated 3 weeks ago
- HVM3☆203Updated this week
- Systems language with linear types and capability-based security.☆1,265Updated 2 weeks ago