Popular repositories Loading

1. set.mm set.mm Public

   Forked from metamath/set.mm

   Metamath source file for logic and set theory

   HTML 1

2. godot godot Public

   Forked from godotengine/godot

   Godot Engine – Multi-platform 2D and 3D game engine

   C++

3. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

4. lore lore Public

   Forked from EpicGames/lore

   Lore is a next-generation, open source version control system

   Rust

5. TauCetiRoadmap TauCetiRoadmap Public

   Forked from TauCetiProject/TauCetiRoadmap

   Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.

   Lean

6. nixpkgs nixpkgs Public

   Forked from NixOS/nixpkgs

   Nix Packages collection & NixOS

   Nix