Snektron / pareasLinks
GPU-accelerated compiler
☆354Updated last year
Alternatives and similar repositories for pareas
Users that are interested in pareas are comparing it to the libraries listed below
Sorting:
- The Best Library: a C++ STL replacement☆377Updated 3 months ago
- A modern supercompiler for call-by-value functional languages☆427Updated 2 months ago
- ☆294Updated last year
- Inpla: Interaction nets as a programming language (the current version)☆311Updated last year
- A high-throughput parser for the Zig programming language.☆252Updated 6 months ago
- A fast framework for writing baseline compiler back-ends in C++☆583Updated 3 weeks ago
- bold: the bold linker☆335Updated 3 months ago
- HVM3☆268Updated last month
- ☆494Updated last year
- C Compiler to SPIR-V☆472Updated 4 months ago
- Self contained, fully static llvm tools & libs☆353Updated 2 years ago
- Educational JIT compiler for ARM64 in Zig.☆62Updated last year
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆487Updated last week
- x86 C compiler written in untyped lambda calculus☆667Updated 3 years ago
- Zig Optimizing Backend☆21Updated 4 months ago
- ☆174Updated 2 months ago
- Attempt at Neuralink's Compression Challenge☆86Updated last year
- an experimental new programming language based on interaction nets☆310Updated this week
- A detour through the Linux dynamic linker☆219Updated 3 months ago
- C++ is the based interpreted language☆255Updated last month
- Can I make an *optimizing* compiler under 1k lines of code?☆63Updated 8 months ago
- Let's build browsers this weekend!☆143Updated last year
- Temporary repository for Kind2's refactor based on HVM2☆280Updated last year
- The MaPLe compiler: efficient and scalable parallel functional programming☆401Updated last week
- The best C-like language that can be implemented in 10kLOC.☆645Updated last week
- ☆71Updated this week
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆250Updated last year
- An attempt at safe imperative GPU programming.☆58Updated 2 months ago
- The single instruction language - Flip a bit, then Jump☆130Updated 9 months ago
- A portable self-bootstrapping C compiler☆169Updated this week