Pinned Loading

1. FreeCAD/FreeCAD FreeCAD/FreeCAD Public

   Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler.

   C++ 31.9k 5.7k

2. SerenityOS/serenity SerenityOS/serenity Public

   The Serenity Operating System 🐞

   C++ 33.5k 3.4k

3. ProvableHQ/leo ProvableHQ/leo Public

   🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

   Rust 4.8k 716

4. veecle/veecle-os veecle/veecle-os Public

   Veecle Operating System for system development.

   Rust 120 9

5. diasurgical/d1-graphics-tool diasurgical/d1-graphics-tool Public

   Diablo 1 Graphics Tool

   C++ 51 13