-
thales Public
TypeScript compiler and JavaScript engine in Lean
-
proposal-decimal-polyfill Public
Polyfill for the Ecma TC39 decimal proposal
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedApr 28, 2026 -
zen-mcp-server Public
Forked from BeehiveInnovations/pal-mcp-serverThe power of Claude Code / GeminiCLI / CodexCLI + [Gemini / OpenAI / OpenRouter / Azure / Grok / Ollama / Custom Model / All Of The Above] working as one.
Python Other UpdatedApr 26, 2026 -
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioHosts the website for mathlib and other Lean community infrastructure.
CSS MIT License UpdatedApr 14, 2026 -
cslib Public
Forked from leanprover/cslibA Lean library for Computer Science
Lean Apache License 2.0 UpdatedApr 1, 2026 -
proposal-temporal Public
Forked from tc39/proposal-temporalProvides standard objects and functions for working with dates and times.
HTML Other UpdatedMar 31, 2026 -
superpowers Public
Forked from obra/superpowersAn agentic skills framework & software development methodology that works.
Shell MIT License UpdatedMar 24, 2026 -
beads Public
Forked from gastownhall/beadsBeads - A memory upgrade for your coding agent
Go MIT License UpdatedMar 23, 2026 -
test262 Public
Forked from tc39/test262Official ECMAScript Conformance Test Suite
JavaScript Other UpdatedMar 23, 2026 -
lean4game Public
Forked from leanprover-community/lean4gameServer to host lean games.
TypeScript GNU General Public License v3.0 UpdatedMar 18, 2026 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
-
-
leanpvgame Public
A game approach to software verification in Lean
Lean MIT License UpdatedFeb 23, 2026 -
zulipchat-mcp Public
Forked from akougkas/zulipchat-mcpZulipChat MCP Server - A Model Context Protocol server that bridges AI agents with Zulip Chat. Built with FastMCP for lightning-fast performance, featuring comprehensive chat management and intelli…
Python MIT License UpdatedFeb 21, 2026 -
lean-i18n Public
Forked from hhu-adam/lean-i18ni18n library for Lean.
Lean Apache License 2.0 UpdatedFeb 20, 2026 -
proposal-intl-era-monthcode Public
Forked from tc39/proposal-intl-era-monthcodeTo specify necessary details about era, eraYear and monthCode usage with Temporal for non-ISO calendars.
HTML MIT License UpdatedFeb 19, 2026 -
reference-manual Public
Forked from leanprover/reference-manualThe Lean reference manual
Lean Apache License 2.0 UpdatedFeb 19, 2026 -
ecma402 Public
Forked from tc39/ecma402Status, process, and documents for ECMA 402
HTML Other UpdatedFeb 17, 2026 -
esbmc Public
Forked from esbmc/esbmcThe efficient SMT-based context-bounded model checker (ESBMC)
C Other UpdatedFeb 14, 2026 -
ecma262 Public
Forked from tc39/ecma262Status, process, and documents for ECMA-262
HTML Other UpdatedFeb 11, 2026 -
cslib-urm Public
Lean 4 formalization of Unlimited Register Machines for CSLib
-
leanclient Public
Forked from oOo0oOo/leanclientPython client to interact with the lean4 language server.
Python MIT License UpdatedJan 15, 2026 -
lean-lsp-mcp Public
Forked from oOo0oOo/lean-lsp-mcpLean Theorem Prover MCP
Python MIT License UpdatedJan 10, 2026 -
lint-llm-proofs Public
Lean 4 linters for LLM-generated proof patterns
-
dependabot-core Public
Forked from dependabot/dependabot-core🤖 Dependabot's core logic for creating update PRs.
Ruby MIT License UpdatedDec 23, 2025 -
lean-update Public
Forked from leanprover-community/lean-updateGitHub Action which automatically updates Lean projects
JavaScript MIT License UpdatedDec 7, 2025 -
lean-decimals Public
Implementation & verification of exact decimal arithmetic in Lean 4
-
-
lean4-cli Public
Forked from leanprover/lean4-cliA Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Lean MIT License UpdatedNov 18, 2025
{{ message }}