Snektron / pareas
GPU-accelerated compiler
☆341Updated 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☆186Updated last month
- A modern supercompiler for call-by-value functional languages☆404Updated last week
- The best C-like language that can be implemented in 10kLOC.☆565Updated last week
- ☆496Updated 9 months ago
- Inpla: Interaction nets as a programming language (the current version)☆297Updated 5 months ago
- ☆296Updated 11 months ago
- an experimental new programming language based on interaction nets☆245Updated this week
- Research shading language IR☆241Updated this week
- A garden of small programming language implementations 🪴☆220Updated this week
- bold: the bold linker☆277Updated this week
- Fil-C☆626Updated this week
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆193Updated 7 months ago
- Fine-grained parallelism with sub-nanosecond overhead in Zig☆817Updated 3 weeks ago
- C Compiler to SPIR-V☆457Updated 3 weeks ago
- A portable self-bootstrapping C compiler☆134Updated this week
- x86 C compiler written in untyped lambda calculus☆650Updated 2 years ago
- A Modern C11 compiler (STILL EARLY)☆1,103Updated last week
- A compiler for a new language focusing on compile-time execution and no LLVM dependency.☆287Updated last year
- a tool for reinterpreting ELF executables and shared libraries☆312Updated 4 months ago
- Nvidia Instruction Set Specification Generator☆253Updated 8 months ago
- Cake a C23 front end and transpiler written in C☆595Updated this week
- A modern fully featured C compiler.☆1,303Updated 2 weeks ago
- A Quick Backend☆329Updated 3 years ago
- Can I make an *optimizing* compiler under 1k lines of code?☆55Updated last month
- The TenDRA Project☆241Updated 7 months ago
- Attempt at Neuralink's Compression Challenge☆87Updated 10 months ago
- Systems language with linear types and capability-based security.☆1,225Updated this week
- ☆26Updated 2 years ago
- Let's build browsers this weekend!☆144Updated 6 months ago
- The MaPLe compiler: efficient and scalable parallel functional programming☆373Updated last week