Lean 定理证明初探
☆43Mar 1, 2026Updated 2 months 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 形式化数学☆18Dec 20, 2025Updated 5 months ago
- Training camp at HKUST-GZ, about numeric methods in Physics☆18Jul 13, 2024Updated last year
- MPI/CUDA supported tensor network library for large scale calculation on strongly-correlated electron systems☆13May 17, 2026Updated last week
- Julia package for numerics (ED and DMRG) on the fuzzy sphere☆22Apr 30, 2026Updated 3 weeks ago
- TikZ and Data visualization into LaTeX (Mathematics)☆15Nov 11, 2025Updated 6 months 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.
- 本代码是用来重复Vortex pinning by the point potential in topological superconductors:A scheme for braiding Majorana bound states论文中关于Majorana费米子在…☆14Nov 7, 2024Updated last year
- 【清华大学《计算机动画原理与算法》大作业】MPM fluid simulation and surface reconstruction using Taichi; A path tracer implemented by LuisaCompute python front…☆14Jan 16, 2024Updated 2 years ago
- A community-maintained package to easily install Arduino IDE on Linux☆11Dec 8, 2022Updated 3 years ago
- Variational Monte-Carlo updated PEPS☆27May 10, 2026Updated 2 weeks ago
- Lean4中文教程☆36Feb 2, 2025Updated last year
- 2025开源操作系统训练营☆85Mar 16, 2025Updated last year
- Interactive TikZ graph generator for creating and customizing complex diagrams with nodes, edges, and text. Features include multi-graph …☆24Feb 16, 2026Updated 3 months ago
- Draft for my book about implementing density functional theory☆20Mar 18, 2026Updated 2 months ago
- Diffusion Monte Carlo method☆12Nov 2, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ♯SHAARP is an open-source package for deriving and simulating optical second harmonic generation (SHG) from a single interface (si). Thi…☆25Jun 16, 2025Updated 11 months ago
- Toolbox for Green's functions on Matsubara grids☆23Dec 4, 2025Updated 5 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
- Lecture materials for: Ab initio methods in solid state physics.☆28Jan 4, 2026Updated 4 months ago
- Curated roadmap & resource hub for Machine Learning Theory ― structured learning paths, course outlines, and distilled notes to help rese…☆43Mar 12, 2026Updated 2 months ago
- ☆24May 6, 2023Updated 3 years ago
- Homepage of the Lean-zh website.☆57Apr 8, 2026Updated last month
- Introduction to Modular Forms: A Chinese textbook about modular forms☆82Mar 26, 2026Updated 2 months ago
- A set of iPython Notebooks to illustrate how some Quantum Monte Carlo algorithms work☆37Aug 13, 2014Updated 11 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Collection of tutorials for SU2☆53May 14, 2026Updated last week
- My lecture notes and slides☆46Apr 1, 2026Updated last month
- A toy http server written in C using libdill coroutines. Will probably get you owned if you run in prod.☆11May 16, 2017Updated 9 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated 2 years ago
- Repository for (for now) filing bug reports about PLAI.☆15Jul 5, 2025Updated 10 months ago
- An Experimental Web Browser Engine written in Rust☆16Apr 9, 2019Updated 7 years ago
- 2D time-dependent Ginzburg-Landau in Python☆55May 2, 2026Updated 3 weeks ago
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 11 years ago
- Package for performing DQMC simulations of Hubbard and Electron-Phonon Models☆53Apr 29, 2026Updated 3 weeks ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Yanqi Lake Lectures on Algebra, Part III☆57Feb 16, 2026Updated 3 months ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- 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☆13May 12, 2026Updated 2 weeks ago
- My own Rust implementation of Mal (Make a Lisp)☆15Jul 25, 2019Updated 6 years ago