akemimadoka / GC
☆12Updated 3 years ago
Alternatives and similar repositories for GC:
Users that are interested in GC are comparing it to the libraries listed below
- 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
- A general purpose C++ toolkit library, built with☆28Updated 2 years ago
- A simple implementation of Yet another script language Chtholly☆20Updated 6 years ago
- Yet another python JIT.☆20Updated 2 years ago
- Zombie chan revive!☆24Updated last year
- SIMD CRC64 for C++☆12Updated 3 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 3 years ago
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated this week
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- compile-time DFA-based regular expression engine with C++ template and constexpr☆55Updated 5 years ago
- A software renderer.☆17Updated 3 years ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- ☆23Updated last year
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- 🍎 Play Bad Apple! with Haskell☆15Updated 2 years ago
- Diana... 🥳🥳🥳Diana, suki🤤🤤🤤☆11Updated 3 years ago
- 这是个中文版的C++小测题。☆22Updated 5 years ago
- [DEPRECATED] Use https://github.com/akemimadoka/Cafe instead☆37Updated 6 years ago
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆30Updated 6 years ago
- A WIP Float32 soft FPU implementation☆22Updated 3 years ago
- https://12k.tech☆12Updated 4 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago
- slides of zju-lambda☆14Updated 6 years ago