An awesome language and its compiler.
☆35Jun 12, 2022Updated 4 years ago
Alternatives and similar repositories for calocom
Users that are interested in calocom are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C-like language compiler, the final project of ZJU Compiler Principle course☆42Oct 9, 2022Updated 3 years ago
- View the to-do list, submit your homework, and achieve more in your terminal!☆13Jun 3, 2025Updated last year
- QSC Tech Recruitment 2020 Autumn Round Two☆10Oct 4, 2020Updated 5 years ago
- ☆24Nov 21, 2023Updated 2 years ago
- ZJU mirror front-end☆36Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A bare-bone SQL implementation☆18Jun 26, 2021Updated 5 years ago
- AAA - 2023 短学期安全攻防实践开源仓库（已整合入 ctf_summer_courses）☆33May 21, 2024Updated 2 years ago
- Junk file generator script☆31May 8, 2021Updated 5 years ago
- a naive implementation to parse raw vmess package☆11Aug 5, 2022Updated 4 years ago
- Zicx's Notebook.☆10Nov 7, 2025Updated 9 months ago
- Medical System as a Service - ZJU Software Engineering Course Project 2021☆14Jul 7, 2021Updated 5 years ago
- An EFI application to play Bad Apple☆10Dec 28, 2021Updated 4 years ago
- 浙江大学课程设计参考，2019级，计算机科学与技术专业，整合了本人全部课程设计仓库☆29Jul 26, 2021Updated 5 years ago
- A low-cost, high-performance deep learning training framework that enables efficient 100B-scale model fine-tuning on a commodity server w…☆23Mar 21, 2025Updated last year
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A toy database, the final project of ZJU Database System Concept course☆61Jun 5, 2022Updated 4 years ago
- Golang back-end service template, get started with back-end projects quickly☆19Nov 5, 2024Updated last year
- Cost-efficient Out-of-core GNN Training System on TB-scale Graph [ICDE 25]☆24Jan 6, 2025Updated last year
- [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☆14Aug 17, 2026Updated 2 weeks ago
- Pyjiting is an experimental Python JIT compiler, which is the product of my undergraduate thesis. The goal is to implement a light-weight…☆12Aug 16, 2026Updated 2 weeks ago
- THIS IS NOT A MIRROR! deprecated repo!☆12Apr 20, 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
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Painless string scanning.☆58Nov 4, 2024Updated last year
- ☆10Apr 10, 2024Updated 2 years ago
- Follow nginx log, and find out bad guys!☆24May 10, 2026Updated 3 months ago
- Just for fun riscv64 emulator, which boots the Linux.☆40Jul 16, 2026Updated last month
- Self Tuned Openwrt for NanoPi R2S☆11May 11, 2025Updated last year
- Documented version of a simple type-theoretic language: Mini-TT☆18May 5, 2019Updated 7 years ago
- *WIP* 计算机类实验文档降压宝典（编写规范）☆30Mar 4, 2025Updated last year
- 主要记载了这两年来的学习内容和生活部分hhh；学习内容以ZJU课程内容为主，生活部分则大都是对于杭州一些餐馆和游玩地点的评价。☆17Jul 13, 2022Updated 4 years ago
- ☆16Apr 9, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A transpiler that converts TeX into Unicode (as possible).☆23Jul 23, 2026Updated last month
- FFT(WIP)&DFT implementations in NVIDIA CUDA and Apple Metal☆25Dec 19, 2025Updated 8 months ago
- ☆10Dec 3, 2025Updated 8 months ago
- Easily typeset kanbun-kundoku (漢文訓読) with (Lua)LaTeX☆20Mar 17, 2025Updated last year
- The Iron programming language☆16Jan 15, 2019Updated 7 years ago
- ZJU 编译原理大作业☆17May 15, 2021Updated 5 years ago
- A Logical Relation for Martin-Löf Type Theory in Agda☆57Sep 11, 2025Updated 11 months ago