-
stlcpp-lean Public
STLC++, a functional programming language with focus on teaching PL design
Lean UpdatedDec 12, 2025 -
-
VekkuliBlueprint Public
Lean blueprint for the book Vektorianalyysi by Olli Martio
TeX UpdatedDec 5, 2025 -
Butterfly Public
Forked from LinwoodDev/Butterfly🎨 Powerful, minimalistic, cross-platform, opensource note-taking app
Dart GNU Affero General Public License v3.0 UpdatedNov 27, 2025 -
LukuteoriaBlueprint Public
Lean blueprint for the course Johdatus lukuteoriaan ja sen sovelluksiin 2025
TeX UpdatedNov 9, 2025 -
lean4-nix Public
Forked from lenianiva/lean4-nixNix overlay for Lean 4, and lake2nix
Nix Apache License 2.0 UpdatedOct 25, 2025 -
Numbers Public
Forked from riccardobrasca/NumbersAn introduction to numbers
Lean Apache License 2.0 UpdatedSep 27, 2025 -
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedSep 13, 2025 -
-
-
Errands Public
Forked from mrvladus/ErrandsTodo application for those who prefer simplicity.
Python MIT License UpdatedAug 30, 2025 -
meow Public
Forked from PixelSergey/meowPrint ASCII cats to your terminal
Rust MIT License UpdatedAug 28, 2025 -
-
nix-cage Public
Forked from pedohorse/nix-cageSandboxed environments with bwrap and nix-shell
-
-
npins Public
Forked from andir/npinsNix dependency pinning. Very similar to Niv but has a few features that I personally wanted.
Rust European Union Public License 1.2 UpdatedJul 30, 2025 -
home-manager Public
Forked from nix-community/home-managerManage a user environment using Nix [maintainer=@rycee]
Nix MIT License UpdatedJun 26, 2025 -
ExtremeValueProject Public
Forked from kkytola/ExtremeValueProjectA project to formalize Fisher-Tippett-Gnedenko theorem (default project of course MS-EV0029)
Lean Apache License 2.0 UpdatedMay 26, 2025 -
formalising-mathematics-2024 Public
Forked from ImperialCollegeLondon/formalising-mathematics-2024Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Lean Apache License 2.0 UpdatedMay 23, 2025 -
-
pixiefairy Public
Forked from mbovo/pixiefairya Pixiecore API Companion
Python UpdatedMay 18, 2025 -
-
-
leanblueprint Public
Forked from PatrickMassot/leanblueprintplasTeX plugin to build formalization blueprints.
Python Apache License 2.0 UpdatedOct 23, 2024 -
-
system-manager Public
Forked from numtide/system-managerManage system config using nix on any distro
Rust MIT License UpdatedOct 9, 2024 -
lean4game Public
Forked from leanprover-community/lean4gameServer to host lean games.
Nix GNU General Public License v3.0 UpdatedOct 2, 2024 -
CTFs as you need them
Python Apache License 2.0 UpdatedSep 21, 2024 -
pybluemonday Public
Forked from ColdHeat/pybluemondaypybluemonday is a library for sanitizing HTML very quickly via bluemonday.
Python BSD 3-Clause "New" or "Revised" License UpdatedSep 20, 2024
{{ message }}