-
LeanNetHack Public
NetHack DSL in Lean 4 with formal verification, AI algorithms, and ASCII visualization
Lean UpdatedJun 20, 2025 -
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedJun 13, 2025 -
LeanBLAS Public
Forked from lecopivo/LeanBLASBindings and specification for BLAS
Lean Apache License 2.0 UpdatedJun 13, 2025 -
yaml Public
Forked from snoyberg/yamlSupport for serialising Haskell to and from Yaml.
Haskell UpdatedJun 12, 2025 -
-
-
-
-
verso Public
Forked from leanprover/versoLean documentation authoring tool
Lean Apache License 2.0 UpdatedMay 22, 2025 -
-
modded-nanogpt Public
Forked from KellerJordan/modded-nanogptNanoGPT (124M) in 3 minutes
Python MIT License UpdatedMay 16, 2025 -
-
LeanTool Public
Forked from GasStationManager/LeanToolA "code intepreter" for Lean
Python GNU General Public License v3.0 UpdatedMay 15, 2025 -
-
LeanSearchClient Public
Forked from leanprover-community/LeanSearchClientSyntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
Lean Apache License 2.0 UpdatedApr 30, 2025 -
batteries Public
Forked from leanprover-community/batteriesThe "batteries included" extended library for the Lean programming language and theorem prover
Lean Apache License 2.0 UpdatedApr 30, 2025 -
import-graph Public
Forked from leanprover-community/import-graphTool to analyse the import structure of lean projects.
Lean Apache License 2.0 UpdatedApr 30, 2025 -
Grassmann.jl Public
Forked from chakravala/Grassmann.jl⟨Leibniz-Grassmann-Clifford⟩ differential geometric algebra / multivector simplicial complex
Julia GNU Affero General Public License v3.0 UpdatedApr 28, 2025 -
-
-
-
-
tyro Public
Forked from brentyi/tyroCLI interfaces & config objects, from types
Python MIT License UpdatedMar 27, 2025 -
-
-
-
-
-
ddhodge Public
Forked from kazumits/ddhodgeModeling Latent Flow Structure using Hodge Decomposition
R Other UpdatedFeb 6, 2025
{{ message }}