Lean 定理证明初探
☆31Mar 1, 2026Updated this week
Alternatives and similar repositories for GlimpseOfLean
Users that are interested in GlimpseOfLean are comparing it to the libraries listed below
Sorting:
- Lean 形式化数学☆17Dec 20, 2025Updated 2 months ago
- ☆13Dec 17, 2024Updated last year
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- 2025开源操作系统训练营☆87Mar 16, 2025Updated 11 months ago
- go编译器编译过程,主要学习go语法分析,AST,SSA分析。以便更好的理解Go☆12Feb 5, 2022Updated 4 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 10 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- Dumb downloader that scrapes the web☆11Sep 3, 2024Updated last year
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago
- Repository for (for now) filing bug reports about PLAI.☆14Jul 5, 2025Updated 8 months ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.☆11Dec 1, 2019Updated 6 years ago
- A short intro to Rust course, based loosely off the book.☆15Jan 29, 2026Updated last month
- 个人学习中总结的 Rust 思维导图☆10Feb 2, 2024Updated 2 years ago
- Craft a toy compiler☆10Aug 21, 2019Updated 6 years ago
- ☆16Nov 6, 2022Updated 3 years ago
- Mini Moonbit implementation from 摩卡猫猫☆15Dec 4, 2024Updated last year
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 3 years ago
- MINIX 3 (mirror)☆15Sep 30, 2019Updated 6 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated last year
- a toy interpret inspired by c4☆10Sep 2, 2021Updated 4 years ago
- My own Rust implementation of Mal (Make a Lisp)☆14Jul 25, 2019Updated 6 years ago
- Training camp at HKUST-GZ, about numeric methods in Physics☆17Jul 13, 2024Updated last year
- Go emulator for MOS 6502☆13Jun 25, 2021Updated 4 years ago
- Android点赞+1效果，支持文本和图像☆10Jun 20, 2016Updated 9 years ago
- Compiler for a toy language (Lex & Yacc)☆15Dec 7, 2014Updated 11 years ago
- A toy peer-to-peer system written in tokio.☆13May 25, 2017Updated 8 years ago
- A toy programming language to learn compiler design☆14Mar 18, 2014Updated 11 years ago
- Cross-compiler☆13Jul 21, 2017Updated 8 years ago
- American primary and secondary school textbooks（美国中小学教材电子版，原版和翻译）☆15Aug 15, 2022Updated 3 years ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- just a toy operating system for fun☆18Oct 16, 2014Updated 11 years ago
- A toy OS for educational purposes.☆13Jan 29, 2018Updated 8 years ago
- A toy stack based language vm in rust.☆15Apr 11, 2018Updated 7 years ago
- A toy script language written in C☆14Aug 24, 2017Updated 8 years ago
- Go-Zero 短链项目 DevOps 实战，利用 Drone CI/CD 打通上云（Kubernetes）迭代流程☆15Dec 31, 2020Updated 5 years ago
- 一款轻量级的UI模块化框架，可将复杂页面切分成多个独立模块。框架自动控制模块显隐及创建、刷新时机。支持全局刷新及指定部分模块刷新，支持多级嵌套、模块懒加载，提供模块必要的生命周期☆14Apr 21, 2017Updated 8 years ago
- Collect various materials in the process of learning go plan9 assembly and share notes.☆17Jan 2, 2026Updated 2 months ago