Alternatives and similar repositories for math-in-lean-zh

Users that are interested in math-in-lean-zh are comparing it to the libraries listed below

• Lean-zh / fp-lean-zh

  View on GitHub
  Lean 函数式编程
  ☆43Dec 17, 2025Updated last month
• frenzymath / reap

  View on GitHub
  General neural tactic for Lean 4
  ☆25Feb 6, 2026Updated last week
• leanprover-community / import-graph

  View on GitHub
  Tool to analyse the import structure of lean projects.
  ☆18Updated this week
• Purewhite2019 / rethinking_autoformalization

  View on GitHub
  [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach
  ☆27May 20, 2025Updated 8 months ago
• ustc-pldpa / PFPL

  View on GitHub
  Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.
  ☆14Jul 6, 2018Updated 7 years ago
• Lean-zh / GlimpseOfLean

  View on GitHub
  Lean 定理证明初探
  ☆30Oct 7, 2025Updated 4 months ago
• Lean-zh / lean-zh.github.io

  View on GitHub
  Homepage of the Lean-zh website.
  ☆54Jan 10, 2026Updated last month
• tdp2110 / HaskellTiger

  View on GitHub
  Modern Compiler Implementation in ML, in Haskell
  ☆22May 29, 2021Updated 4 years ago
• flyfish30 / zig-cats

  View on GitHub
  A category theory and functional programing library for Zig language
  ☆70Nov 30, 2025Updated 2 months ago
• frenzymath / jixia

  View on GitHub
  A static analysis tool for Lean 4.
  ☆113Updated this week
• wangzining-1 / Translate-for-Zotero

  View on GitHub
  ☆13Dec 17, 2024Updated last year
• squest / zenx-integrated-learning

  View on GitHub
  Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell
  ☆19Oct 16, 2015Updated 10 years ago
• Lean-zh / tp-lean-zh

  View on GitHub
  Lean 定理证明
  ☆23Dec 28, 2025Updated last month
• pattysi / ChatGPT-APIkeyfree

  View on GitHub
  Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。
  ☆13Aug 28, 2024Updated last year
• LighghtEeloo / magic-in-ten-mins-ml

  View on GitHub
  十分钟魔法练习 in OCaml
  ☆36Mar 31, 2022Updated 3 years ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN

  View on GitHub
  Lean4中文教程
  ☆35Feb 2, 2025Updated last year
• lifpan / llvm_essentials_cn

  View on GitHub
  LLVM Essentials 中文版
  ☆12Feb 18, 2025Updated 11 months ago
• SIGPLAN / SIGPLAN.github.io

  View on GitHub
  SIGPLAN website
  ☆13Jan 28, 2026Updated 2 weeks ago
• INO-quantum / FPGA-SoC-experiment-control

  View on GitHub
  control system for cold atoms experiments based on a commercial low-cost FPGA-SoC development board
  ☆10Jul 17, 2025Updated 6 months ago
• angelolamonaca / PyTorch-Precision-Converter

  View on GitHub
  A flexible utility for converting tensor precision in PyTorch models and safetensors files, enabling efficient deployment across various …
  ☆11Aug 24, 2023Updated 2 years ago
• GiggleLiu / tutorial-tensornetwork

  View on GitHub
  A tutorial on simulating quantum circuits and quantum error correction with tensor networks
  ☆20Sep 20, 2025Updated 4 months ago
• bud-primordium / Computational-Physics-Fall-2024

  View on GitHub
  2024秋《计算物理基础》课程作业代码与随笔
  ☆13Dec 20, 2024Updated last year
• sbravyi / symmetric_group_characters

  View on GitHub
  Matrix Product State algorithm for computing characters of the symmetric group S_n
  ☆11Sep 26, 2025Updated 4 months ago
• choukh / Baby-Set-Theory

  View on GitHub
  Coq集合论中文教程
  ☆46Dec 17, 2021Updated 4 years ago
• leanprover-community / mathport

  View on GitHub
  Mathport is a tool for porting Lean3 projects to Lean4
  ☆44Nov 21, 2024Updated last year
• NVlabs / qCHeff

  View on GitHub
  ☆11Oct 27, 2025Updated 3 months ago
• DeepMathLLM / DeepMath

  View on GitHub
  一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。
  ☆17May 16, 2025Updated 8 months ago
• puxxustc / iosocks

  View on GitHub
  A lightweight tunnel proxy, just a toy
  ☆10Apr 6, 2015Updated 10 years ago
• sun-yryr / agqr-program-guide

  View on GitHub
  超A&G+の番組表API
  ☆10Dec 1, 2025Updated 2 months ago
• zxl16616 / Plant-Growth-Simulation

  View on GitHub
  基于分形理论中的参数L-系统，使用OpenGL与VC++实现了真实度较高的三维树木，并且可以通过调整参数进行树木的变换。
  ☆12Jun 5, 2018Updated 7 years ago
• monw3c / Functional-Light-JS

  View on GitHub
  (翻译)JavaScript轻量级函数式编程
  ☆14Sep 30, 2019Updated 6 years ago
• Physics-Lee / Compu-Physi-2024-Fall

  View on GitHub
  Computational Physics B at USTC, 2024 Fall.
  ☆13Jan 28, 2025Updated last year
• negibokken / toyscopy

  View on GitHub
  A toy browser written in C++.
  ☆10Jan 9, 2021Updated 5 years ago
• BAQIS-Quantum / qsteed

  View on GitHub
  QSteed is a Quantum Software of Compilation for supporting Real Quantum device, including a quantum compiler, a quantum resource virtu…
  ☆13Jan 23, 2026Updated 3 weeks ago
• BitsPleaseMSI / awesome-resources

  View on GitHub
  This repo conatains all the types of tutorials be it videos, pdfs, code snippets etc of every popular technology
  ☆11Aug 31, 2019Updated 6 years ago
• weilintu / peps-excitation

  View on GitHub
  Sample codes for the PEPS excitation using generating function
  ☆12Mar 2, 2024Updated last year
• shriram / plai-public

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

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• Pangoraw / WasmCompiler.jl

  View on GitHub
  it's just bytes
  ☆14Apr 16, 2025Updated 9 months ago