Lean-zh/fp-lean-zh external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

Lean-zh/fp-lean-zh

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/Lean-zh/fp-lean-zh)

Close

Lean-zh / fp-lean-zhView on GitHubMore

• External links
• Readme badge

Lean 函数式编程

☆45Aug 23, 2026Updated last week

Alternatives and similar repositories for fp-lean-zh

Users that are interested in fp-lean-zh are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• Lean-zh / tp-lean-zh

  View on GitHub
  Lean 定理证明
  ☆29Jul 5, 2026Updated last month
• Lean-zh / math-in-lean-zh

  View on GitHub
  Lean 形式化数学
  ☆19Dec 20, 2025Updated 8 months ago
• Lean-zh / lean-zh.github.io

  View on GitHub
  Homepage of the Lean-zh website.
  ☆59Aug 13, 2026Updated 3 weeks ago
• chenjulang / rubikcubegroup

  View on GitHub
  rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/
  ☆14Apr 16, 2024Updated 2 years ago
• chuigda / Project-WG

  View on GitHub
  试图用 OpenGL 3.3 画个可爱（？大概吧）的小机器人。
  ☆17Nov 27, 2024Updated last year
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• KonjacSource / ShiTT2

  View on GitHub
  A dependently-typed language with indexed inductive types supported.
  ☆19Feb 20, 2026Updated 6 months ago
• TOETOE55 / psc

  View on GitHub
  Parser Combinator ver. Rust
  ☆15Jun 16, 2020Updated 6 years ago
• chuigda-wasteland / Project-47

  View on GitHub
  The formal development repository for Pr47
  ☆21Feb 21, 2023Updated 3 years ago
• antonping / norem-lang

  View on GitHub
  A modern functional programming language with effect system.
  ☆18Apr 21, 2024Updated 2 years ago
• imkiva / valheim

  View on GitHub
  Just for fun riscv64 emulator, which boots the Linux.
  ☆40Jul 16, 2026Updated last month
• BitSecret / AI4Geometry

  View on GitHub
  Everything about AI4Geometry (AI for geometry problem solving / geometry theorem proving).
  ☆19Dec 19, 2025Updated 8 months ago
• subfish-zhou / theorem_proving_in_lean4_zh_CN

  View on GitHub
  Lean4中文教程
  ☆37Feb 2, 2025Updated last year
• lean-ja / lean99

  View on GitHub
  These are Lean translations of Ninety-Nine Haskell Problems (WIP)
  ☆16Feb 28, 2025Updated last year
• Infinity-Type-Cafe / ntype-cafe-summer-school

  View on GitHub
  ntype cafe summer school resources
  ☆148Jun 16, 2024Updated 2 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• thery / hanoi

  View on GitHub
  Hanoi tower in Coq
  ☆26Jan 29, 2026Updated 7 months ago
• YaelDillies / apap

  View on GitHub
  Formalisation of the Kelley-Meka bound on Roth numbers
  ☆30Aug 22, 2026Updated last week
• frenzymath / REAL-Prover

  View on GitHub
  ☆33Jul 22, 2025Updated last year
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆14Mar 8, 2025Updated last year
• avigad / mathematics_in_lean_source

  View on GitHub
  Source code for the Mathematics in Lean tutorial.
  ☆215Aug 19, 2026Updated 2 weeks ago
• thautwarm / UPL

  View on GitHub
  A compiler for higher rank ML with type classes
  ☆13Aug 29, 2020Updated 6 years ago
• quinn-dougherty / ladr

  View on GitHub
  linear algebra done right in coq
  ☆11Apr 6, 2021Updated 5 years ago
• anqur / lyzh

  View on GitHub
  A well-documented minimal dependently-typed language for my friend Lyzh
  ☆26Feb 7, 2025Updated last year
• Stavan-Jain / linear_algebra_game

  View on GitHub
  Building the linear algebra game!
  ☆10Dec 2, 2024Updated last year
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• antonping / prune-lang

  View on GitHub
  Prune is a constraint logic programming language with branching heuristic.
  ☆39Aug 25, 2026Updated last week
• rustcc / GEFS

  View on GitHub
  Game Engine From Scratch -- Rust China Conference 2020 topic by LemonHX and his team.
  ☆14Dec 16, 2020Updated 5 years ago
• Anon52MI4 / oeis-alien

  View on GitHub
  ☆22Jan 19, 2023Updated 3 years ago
• Mini-Moonbit-Machine / mmm

  View on GitHub
  ☆20Nov 24, 2024Updated last year
• aya-prover / aya-dev

  View on GitHub
  A proof assistant and a dependently-typed language
  ☆363Jun 8, 2026Updated 2 months ago
• CohenCyril / LFTCM2024_Rocq

  View on GitHub
  Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024
  ☆13Mar 28, 2024Updated 2 years ago
• Agda-zh / PLFA-zh

  View on GitHub
  《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
  ☆222Aug 5, 2026Updated 3 weeks ago
• xuyifangreeneyes / mxcompiler

  View on GitHub
  Craft a toy compiler
  ☆10Aug 21, 2019Updated 7 years ago
• SweetIceLolly / DragControlsIDE

  View on GitHub
  一个使用VB6开发的简易IDE，以VB6开发的形式来开发C++程序，让C++对GUI的编写更加香甜~
  ☆15Jun 21, 2019Updated 7 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• a2435191 / lean-logic-formalization

  View on GitHub
  Formalize "Logic Notes" by Lou van den Dries in Lean
  ☆12May 31, 2025Updated last year
• kai-qu / linear-logic

  View on GitHub
  An encoding of linear logic in Coq with minimal Sokoban and blocks world examples
  ☆22Feb 4, 2022Updated 4 years ago
• GasStationManager / CodeProofTheArena

  View on GitHub
  Lean coding problem solving challenge website with proof verification
  ☆13Jul 8, 2025Updated last year
• ForeverHaibara / Prover

  View on GitHub
  Auto math prover.
  ☆10Jul 10, 2024Updated 2 years ago
• kmill / lean4-raytracer

  View on GitHub
  A simple raytracer written in Lean 4
  ☆145May 16, 2024Updated 2 years ago
• sven-manthe / A-formalization-of-Borel-determinacy-in-Lean

  View on GitHub
  ☆14Feb 26, 2026Updated 6 months ago
• xuri / rust-reportcard

  View on GitHub
  A report card for your Rust application
  ☆15Jun 8, 2024Updated 2 years ago