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
- An April fools joke, a llvm backend to CMake☆47Updated 3 years ago
- Yet another python JIT.☆20Updated 2 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 3 years ago
- A LR(1) parser generator targeting C++17.☆13Updated 4 years ago
- Next-GEN Confguration Template Generation Language☆12Updated 2 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆16Updated 3 weeks ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- A type-driven and high-performance ORM framework in Rust☆25Updated 3 years ago
- compile-time DFA-based regular expression engine with C++ template and constexpr☆55Updated 5 years ago
- SIMD CRC64 for C++☆12Updated 3 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
- A high level LLVM IR AST provider for GraphEngine JIT.☆22Updated 6 years ago
- Zombie chan revive!☆24Updated last year
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- A simple protable and fast game engine powered by SDL2(c++), I aim to use it to make STG !?☆6Updated 7 years ago
- PKU CompNet'19 Lab 2 - Homebrew TCP☆12Updated 5 years ago
- Constructive Interpretations of HoTT☆36Updated 4 years ago
- A WIP Float32 soft FPU implementation☆22Updated 3 years ago
- ☆78Updated 4 years ago
- A simple implementation of JSON.☆19Updated 8 years ago
- The Dragon Virtual Machine.☆10Updated 7 years ago
- Diana... 🥳🥳🥳Diana, suki🤤🤤🤤☆11Updated 3 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大作业☆30Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- 🚧施工中🚧 用 Arend 写证明的交互式教程☆14Updated 2 years ago
- A software renderer.☆17Updated 3 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