-
viper Public
A Python environment manager built in Lean 4
-
asterinas Public
Forked from asterinas/asterinasAsterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust Other UpdatedOct 26, 2025 -
-
-
-
-
hash-based-snargs-book Public
Forked from hash-based-snargs-book/hash-based-snargs-bookSource code for "Building Cryptographic Proofs from Hash Functions"
TeX UpdatedMay 15, 2024 -
-
chrome-lean-unicode Public
Type Lean unicode characters in your web browser
-
-
speech-enhancement Public
Using neural networks to enhance speech quality of noisy recordings
-
lake Public
Forked from leanprover/lakeLean 4 build system and package manager with configuration files written in Lean.
Lean Apache License 2.0 UpdatedFeb 3, 2023 -
-
lurk Public
Forked from lurk-lab/lurk-lispLisp implementation of Lurk.
Common Lisp MIT License UpdatedJul 1, 2022 -
-
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 UpdatedMar 28, 2022 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedMar 24, 2022 -
mathlib4 Public
Forked from leanprover-community/mathlib4Work in progress mathlib port for lean 4
Lean Apache License 2.0 UpdatedMar 14, 2022 -
LeanMySQL Public
A MySQL API for Lean 4
-
leandiscord-weekly Public
Forked from crabbo-rave/leandiscord-weeklyWeekly challenges for the Lean Discord Server.
MIT License UpdatedFeb 9, 2022 -
doc-gen Public
Forked from leanprover-community/doc-genGenerate HTML documentation for mathlib and Lean
Python Apache License 2.0 UpdatedJan 28, 2022 -
NumLean Public
A Lean 4 package for heavy numerical computations
-
-
fklearn Public
Forked from nubank/fklearnfklearn: Functional Machine Learning
Python Apache License 2.0 UpdatedOct 28, 2021 -
godot Public
Forked from godotengine/godotGodot Engine – Multi-platform 2D and 3D game engine
C++ MIT License UpdatedSep 7, 2021 -
marley Public
Forked from beaumanvienna/marley"Many Awesome Retro Linux Emulators, Yay!" -- A bundle of gaming console emulators for the x86_64 Linux platform
C GNU General Public License v3.0 UpdatedApr 4, 2021 -
-
-
-
dungeon_world_data Public
Forked from DungeonPaper/dungeon_world_dataDart + NPM package with Dungeon World character, moves & other data
Dart BSD 2-Clause "Simplified" License UpdatedJun 9, 2020
{{ message }}