Lean 定理证明初探
☆36Mar 1, 2026Updated 3 weeks ago
Alternatives and similar repositories for GlimpseOfLean
Users that are interested in GlimpseOfLean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean 形式化数学☆17Dec 20, 2025Updated 3 months ago
- Training camp at HKUST-GZ, about numeric methods in Physics☆17Jul 13, 2024Updated last year
- 2021年最新整理， C++ 学习资料，含C++ 11 / 14 / 17 / 20 / 23 新特性、入门教程、推荐书籍、优质文章、学习笔记、教学视频等☆12Jun 8, 2022Updated 3 years ago
- MPI/CUDA supported tensor network library for large scale calculation on strongly-correlated electron systems☆13Mar 19, 2026Updated last week
- Julia package for numerics (ED and DMRG) on the fuzzy sphere☆21Mar 9, 2026Updated 2 weeks ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- CS294/194-196 Large Language Model Agents☆17Feb 28, 2025Updated last year
- A community-maintained package to easily install Arduino IDE on Linux☆11Dec 8, 2022Updated 3 years ago
- Variational Monte-Carlo updated PEPS☆26Mar 19, 2026Updated last week
- Lean4中文教程☆35Feb 2, 2025Updated last year
- Interactive TikZ graph generator for creating and customizing complex diagrams with nodes, edges, and text. Features include multi-graph …☆23Feb 16, 2026Updated last month
- A python wrapper for doing ED calculations on many-body systems☆33Dec 22, 2022Updated 3 years ago
- Toolbox for Green's functions on Matsubara grids☆23Dec 4, 2025Updated 3 months ago
- A finite element method code for student training used in the course of "Finite Element Method" delivered by Professor Xiong Zhang☆22Feb 4, 2015Updated 11 years ago
- Curated roadmap & resource hub for Machine Learning Theory ― structured learning paths, course outlines, and distilled notes to help rese…☆41Mar 12, 2026Updated 2 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Real-time TDDFT for Quantum-Espresso☆24Jun 22, 2023Updated 2 years ago
- 天涯神贴2024最新整理核心300+篇，去重 去水印高清 文字版，无需解压☆74Oct 13, 2024Updated last year
- 这是本人考研数学三笔记☆30Jan 6, 2023Updated 3 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 7 years ago
- Homepage of the Lean-zh website.☆54Mar 1, 2026Updated 3 weeks ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆80Nov 11, 2025Updated 4 months ago
- My lecture notes and slides☆46Nov 2, 2025Updated 4 months ago
- 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
- Notes for Group Theory for Phycisist in a Nutshell by A Zee.☆49Nov 27, 2023Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated last year
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 4 years ago
- An Experimental Web Browser Engine written in Rust☆16Apr 9, 2019Updated 6 years ago
- Package for performing DQMC simulations of Hubbard and Electron-Phonon Models☆52Mar 10, 2026Updated 2 weeks ago
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 10 years ago
- Yanqi Lake Lectures on Algebra, Part III☆55Feb 16, 2026Updated last month
- Android点赞+1效果，支持文本和图像☆10Jun 20, 2016Updated 9 years ago
- A C++ FEM code sharing the same input data file with STAP90☆54Apr 6, 2023Updated 2 years ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- 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 compiler made with LLVM☆16Aug 30, 2024Updated last year
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.☆11Dec 1, 2019Updated 6 years ago
- SIGPLAN website☆13Mar 16, 2026Updated last week
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- 个人网站go语言实现（使用gin框架）☆12Feb 20, 2019Updated 7 years ago
- Building a toy OS in Rust.☆13Sep 14, 2016Updated 9 years ago