akemimadoka / GCLinks
☆12Updated 3 years ago
Alternatives and similar repositories for GC
Users that are interested in GC are comparing it to the libraries listed below
Sorting:
- A LR(1) parser generator targeting C++17.☆13Updated 4 years ago
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago
- Zombie chan revive!☆26Updated last year
- Yet another python JIT.☆20Updated 2 years ago
- SIMD CRC64 for C++☆12Updated 3 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 2 months ago
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 3 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- Diana... 🥳🥳🥳Diana, suki🤤🤤🤤☆11Updated 3 years ago
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- A simple implementation of Yet another script language Chtholly☆20Updated 6 years ago
- A general purpose C++ toolkit library, built with☆28Updated 2 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- A well-documented minimal dependently-typed language for my friend Lyzh☆27Updated 4 months ago
- slides of zju-lambda☆14Updated 6 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 2 weeks ago
- A software renderer.☆17Updated 3 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- ☆23Updated 2 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- ☆12Updated 3 years ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆18Updated 7 months ago
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆19Updated 3 years ago
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆30Updated 6 years ago