Light-of-Hers / CCTV
C++ Compile-Time eValuator for scheme
☆21Updated 4 years ago
Alternatives and similar repositories for CCTV:
Users that are interested in CCTV are comparing it to the libraries listed below
- Some CS notes during Jiawei's undergrad.☆31Updated 3 years ago
- compile-time DFA-based regular expression engine with C++ template and constexpr☆55Updated 5 years ago
- A toy C compiler that compatible with C23 and can do limited optimizations☆54Updated 4 months ago
- HERMES: sHallow dirEctory stRucture Many-filE fileSystem☆20Updated 5 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- An LALR1(1)/LL(1) parser generator in Rust, for multiple languages.☆48Updated 3 years ago
- Linux io_uring based c++ 20 coroutine library☆29Updated 2 years ago
- A C0 compiler for homework | C0 编译器 | 北航软院编译原理大 作业☆30Updated 4 years ago
- ☆12Updated 3 years ago
- A Rust style C++ library.☆19Updated 2 years ago
- 这是个中文版的C++小测题。☆22Updated 5 years ago
- A compiler for a C-like toy language (named "SysY") into ARMv7a assembly, written in C++17☆43Updated 4 years ago
- raytracer project for PPCA 2020☆63Updated 3 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 2 years ago
- ☆121Updated 2 years ago
- ☆77Updated 4 years ago
- Craft a toy compiler☆10Updated 5 years ago
- Deeplang is a new language for IoT device programming.☆80Updated 2 years ago
- A general purpose C++ toolkit library, built with☆28Updated 2 years ago
- Warning: 🕳 ahead!☆16Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 2 years ago
- 2022 ECS CloudBuild Distributed Cache Contest - Final Round https://tianchi.aliyun.com/competition/entrance/531982/introduction☆17Updated 2 years ago
- Convert regex(es) to dfa.☆14Updated 3 years ago
- Rebuild YatSenOS On RISC-V 64.☆19Updated 3 years ago
- MimiC is a compiler of C subset (extended SysY language) by USTB NSCSCC team.☆60Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Being a full-stack hacker, RISCV, LLVM, and more.☆17Updated 3 years ago
- Compiling finite generators to digital logic. WIP☆14Updated 4 years ago
- A programming language which provides generalized algebraic data types, pattern matching and lazy evaluation based on C++17.☆30Updated 6 years ago
- Yet Yet Another Compiler Compiler | 一个编译器前端框架☆17Updated last year