Alternatives and similar repositories for GlimpseOfLean

Users that are interested in GlimpseOfLean are comparing it to the libraries listed below

• Lean-zh / math-in-lean-zh

  View on GitHub
  Lean 形式化数学
  ☆17Dec 20, 2025Updated last month
• wangzining-1 / Translate-for-Zotero

  View on GitHub
  ☆13Dec 17, 2024Updated last year
• lifpan / llvm_essentials_cn

  View on GitHub
  LLVM Essentials 中文版
  ☆12Feb 18, 2025Updated 11 months ago
• LearningOS / rust-based-os-comp2024

  View on GitHub
  2025开源操作系统训练营
  ☆87Mar 16, 2025Updated 10 months ago
• OCNYang / rust-tutorial

  View on GitHub
  个人学习中总结的 Rust 思维导图
  ☆10Feb 2, 2024Updated 2 years ago
• UWCS / rs118

  View on GitHub
  A short intro to Rust course, based loosely off the book.
  ☆14Jan 29, 2026Updated 2 weeks ago
• nicklambourne / crafting-a-compiler

  View on GitHub
  Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.
  ☆11Dec 1, 2019Updated 6 years ago
• gaoxingliang / you-get

  View on GitHub
  Dumb downloader that scrapes the web
  ☆11Sep 3, 2024Updated last year
• shriram / plai-public

  View on GitHub
  Repository for (for now) filing bug reports about PLAI.
  ☆14Jul 5, 2025Updated 7 months ago
• jeremycw / httpc

  View on GitHub
  A toy http server written in C using libdill coroutines. Will probably get you owned if you run in prod.
  ☆11May 16, 2017Updated 8 years ago
• cgswords / rsc

  View on GitHub
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Jun 12, 2018Updated 7 years ago
• IbrahimFadel / flux

  View on GitHub
  A toy compiler made with LLVM
  ☆16Aug 30, 2024Updated last year
• moonbit / MPI-exercise

  View on GitHub
  现代编程思想公开课课后练习
  ☆10Jul 4, 2024Updated last year
• negibokken / toyscopy

  View on GitHub
  A toy browser written in C++.
  ☆10Jan 9, 2021Updated 5 years ago
• kimhyunkang / r5.rs

  View on GitHub
  Scheme implementation written in Rust
  ☆35Jan 22, 2015Updated 11 years ago
• AtheMathmo / toy-os

  View on GitHub
  Building a toy OS in Rust.
  ☆13Sep 14, 2016Updated 9 years ago
• ymm135 / go-build

  View on GitHub
  go编译器编译过程,主要学习go语法分析,AST,SSA分析。以便更好的理解Go
  ☆12Feb 5, 2022Updated 4 years ago
• xzhseh / stlc-in-a-week

  View on GitHub
  Write yourself a simply-typed lambda calculus using Rust in a week!
  ☆13May 13, 2024Updated last year
• zstu-jack / toy-interpret

  View on GitHub
  a toy interpret inspired by c4
  ☆10Sep 2, 2021Updated 4 years ago
• xuyifangreeneyes / mxcompiler

  View on GitHub
  Craft a toy compiler
  ☆10Aug 21, 2019Updated 6 years ago
• rpasta42 / LambdaOxide

  View on GitHub
  Lisp interpreter written in rust
  ☆13Apr 9, 2017Updated 8 years ago
• eutro / gdlisp

  View on GitHub
  ☆16Nov 6, 2022Updated 3 years ago
• yjl9903 / minimoonbit-moca

  View on GitHub
  Mini Moonbit implementation from 摩卡猫猫
  ☆15Dec 4, 2024Updated last year
• mengzhuo / go6502

  View on GitHub
  Go emulator for MOS 6502
  ☆13Jun 25, 2021Updated 4 years ago
• agentzh / salent

  View on GitHub
  A toy x86 disassembler and x86 style toy chip
  ☆15Dec 30, 2011Updated 14 years ago
• carmanlwf / American-school-textbooks-

  View on GitHub
  American primary and secondary school textbooks（美国中小学教材电子版，原版和翻译）
  ☆15Aug 15, 2022Updated 3 years ago
• kc1212 / tokio-p2p

  View on GitHub
  A toy peer-to-peer system written in tokio.
  ☆13May 25, 2017Updated 8 years ago
• olbat / compiler

  View on GitHub
  Compiler for a toy language (Lex & Yacc)
  ☆16Dec 7, 2014Updated 11 years ago
• chklauser / rust-nvm

  View on GitHub
  A toy byte-code virtual machine written in Rust
  ☆15Dec 9, 2016Updated 9 years ago
• arrayJY / os

  View on GitHub
  A toy operating system.
  ☆13Mar 19, 2022Updated 3 years ago
• MattX / peroxide

  View on GitHub
  Scheme in Rust
  ☆15Dec 10, 2021Updated 4 years ago
• jesus-ramos / not-a-good-os

  View on GitHub
  just a toy operating system for fun
  ☆19Oct 16, 2014Updated 11 years ago
• LFYSec / ToyCompiler

  View on GitHub
  A c0 -> LLVM IR compiler, with some optimization.
  ☆13Jul 13, 2020Updated 5 years ago
• sjtuwzx / LightModule

  View on GitHub
  一款轻量级的UI模块化框架，可将复杂页面切分成多个独立模块。框架自动控制模块显隐及创建、刷新时机。支持全局刷新及指定部分模块刷新，支持多级嵌套、模块懒加载，提供模块必要的生命周期
  ☆14Apr 21, 2017Updated 8 years ago
• jaaron / toy-bytecode

  View on GitHub
  A toy bytecode VM, assembler, and self-hosting compiler for a scheme-like high-level language.
  ☆17Nov 22, 2023Updated 2 years ago
• ahfuzhang / learning_go_plan9_assembly

  View on GitHub
  Collect various materials in the process of learning go plan9 assembly and share notes.
  ☆17Jan 2, 2026Updated last month
• hayatoito / serval

  View on GitHub
  An Experimental Web Browser Engine written in Rust
  ☆16Apr 9, 2019Updated 6 years ago
• Hacker-Linner / k8s-devops-shorturl

  View on GitHub
  Go-Zero 短链项目 DevOps 实战，利用 Drone CI/CD 打通上云（Kubernetes）迭代流程
  ☆15Dec 31, 2020Updated 5 years ago
• werner-matthias / aihPOS

  View on GitHub
  A toy OS for educational purposes.
  ☆13Jan 29, 2018Updated 8 years ago