An awesome language and its compiler.
☆35Jun 12, 2022Updated 3 years ago
Alternatives and similar repositories for calocom
Users that are interested in calocom are comparing it to the libraries listed below
Sorting:
- C-like language compiler, the final project of ZJU Compiler Principle course☆43Oct 9, 2022Updated 3 years ago
- 计算机系统——从小白学起☆34Mar 6, 2024Updated 2 years ago
- GNC is Not C. It is intended for a better and more effective c language.☆19Jan 15, 2022Updated 4 years ago
- View the to-do list, submit your homework, and achieve more in your terminal!☆11Jun 3, 2025Updated 9 months ago
- QSC Tech Recruitment 2020 Autumn Round Two☆10Oct 4, 2020Updated 5 years ago
- ZJU mirror front-end☆36Feb 7, 2026Updated last month
- ☆24Nov 21, 2023Updated 2 years ago
- A bare-bone SQL implementation☆18Jun 26, 2021Updated 4 years ago
- AAA - 2023 短学期安全攻防实践开源仓库（已整合入 ctf_summer_courses）☆33May 21, 2024Updated last year
- Zicx's Notebook.☆10Nov 7, 2025Updated 4 months ago
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- ☆10Jul 23, 2023Updated 2 years ago
- Golang back-end service template, get started with back-end projects quickly☆20Nov 5, 2024Updated last year
- Apple Silicon TSO Enabler for Linux☆17Nov 11, 2025Updated 4 months ago
- 从研究生教务网数据生成日历文件，在 Windows/macOS/Linux/Android/Harmony OS/iOS/iPadOS/watchOS/Wear OS 上方便地访问日历☆22Mar 2, 2023Updated 3 years ago
- [WIP]reglico is AltJsAndWasm language. This generate rust(wasm) and typescript code from one reglico code☆14Mar 5, 2022Updated 4 years ago
- CIDR union / subtraction☆14Mar 13, 2026Updated last week
- Pyjiting is a experimental Python-JIT compiler, which is the product of my undergraduate thesis. The goal is to implement a light-weight …☆12Jan 19, 2022Updated 4 years ago
- THIS IS NOT A MIRROR! deprecated repo!☆11Apr 20, 2021Updated 4 years ago
- A classic game written with C++☆14Mar 17, 2021Updated 5 years ago
- Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott☆33Oct 22, 2024Updated last year
- New implementation of xeCJK☆22Feb 1, 2023Updated 3 years ago
- Notes for The Fundation of Data Structure course in Zhejiang University.☆27Feb 8, 2021Updated 5 years ago
- Asuna is a path tracer base on vulkan ray tracing pipeline with NVIDIA card.☆43Mar 17, 2024Updated 2 years ago
- Just for fun riscv64 emulator, which boots the Linux.☆41Dec 14, 2022Updated 3 years ago
- Follow nginx log, and find out bad guys!☆23Mar 7, 2026Updated last week
- Self Tuned Openwrt for NanoPi R2S☆11May 11, 2025Updated 10 months ago
- Jane Street's `ppx_let` repackaged for `npm`☆16Sep 7, 2020Updated 5 years ago
- *WIP* 计算机类实验文档降压宝典（编写规范）☆30Mar 4, 2025Updated last year
- ☆16Apr 9, 2020Updated 5 years ago
- A transpiler that converts TeX into Unicode (as possible).☆21Mar 5, 2026Updated 2 weeks ago
- 主要记载了这两年来的学习内容和生活部分hhh；学习内容以ZJU课程内容为主，生活部分则大都是对于杭州一些餐馆和游玩地点的评价。☆17Jul 13, 2022Updated 3 years ago
- RPCNIC: A High-Performance and Reconfigurable PCIe-attached RPC Accelerator [HPCA2025]☆14Dec 9, 2024Updated last year
- A tool to simulate Ethereum 2.0 execution☆13Mar 13, 2020Updated 6 years ago
- FFT(WIP)&DFT implementations in NVIDIA CUDA and Apple Metal☆25Dec 19, 2025Updated 3 months ago
- Easily typeset kanbun-kundoku (漢文訓読) with (Lua)LaTeX☆19Mar 17, 2025Updated last year
- A gitbook named studying-containerd-notes☆10Dec 17, 2018Updated 7 years ago
- OxiZ is a high-performance Satisfiability Modulo Theories (SMT) solver written entirely in Rust. This project is part of an initiative to…☆43Updated this week
- A Logical Relation for Martin-Löf Type Theory in Agda☆55Sep 11, 2025Updated 6 months ago