akemimadoka / GC
☆12Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for GC
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago
- A LR(1) parser generator targeting C++17.☆13Updated 4 years ago
- Yet another python JIT.☆20Updated last year
- A WIP Float32 soft FPU implementation☆21Updated 3 years ago
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- Zombie chan revive!☆24Updated 8 months ago
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 2 years ago
- A general purpose C++ toolkit library, built with☆28Updated last year
- Just for fun riscv64 emulator, which boots the Linux.☆40Updated last year
- Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆15Updated last month
- A well-documented minimal dependently-typed language for my friend Lyzh☆25Updated 3 months ago
- A Rust style C++ library.☆19Updated 2 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- A simple implementation of Yet another script language Chtholly☆20Updated 5 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- Diana... 🥳🥳🥳Diana, suki🤤🤤🤤☆11Updated 3 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- ☆22Updated last year
- ☆10Updated 4 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- A software renderer.☆17Updated 3 years ago
- Relaxed Rust (for cats)☆16Updated 4 years ago
- The 峨眉 (EMei) JIT/AOT backend framework.☆17Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆16Updated 2 years ago