Repositories
34
 Projects Packages Code
Filter
Sort
leanprover-community.mathlib4-nightly-testing
Lean 0 0
nightly-testing and lean-pr-testing branches of Mathlib
Updated 2026-03-07 02:41:57 +00:00
leanprover-community.batteries
Lean 0 0
The "batteries included" extended library for the Lean programming language and theorem prover
lean lean4
Updated 2026-03-07 02:41:21 +00:00
leanprover-community.mathlib4
Lean 0 0
The math library of Lean 4
lean4
Updated 2026-03-07 00:33:11 +00:00
iquercorb.OpenModMan
C++ 0 0
Open Mod Manager - Open source and generic Mod ("Modifications") manager.
Updated 2026-03-06 20:00:48 +00:00
digama0.leangz
Rust 0 0
Lean 4 .olean file (de)compressor
Updated 2026-03-06 17:47:18 +00:00
WinterSnowfall.d7vk
C++ 0 0
Vulkan-based implementation of D3D7, 6 and 5 for Linux / Wine, spun off from DXVK.
Updated 2026-03-06 16:16:33 +00:00
Audiveris.audiveris
Java 0 0
Latest generation of Audiveris OMR engine
java open-source optical-music-recognition
Updated 2026-03-06 15:35:42 +00:00
BGforgeNet.Fallout2_Restoration_Project
omnetpp-msg 0 0
Fallout 2 Restoration Project, updated
fallout fallout2
Updated 2026-03-06 14:41:34 +00:00
leanprover-community.lean4game
TypeScript 0 0
Server to host lean games.
lean4 react
Updated 2026-03-05 01:47:30 +00:00
leanprover-community.repl
Lean 0 0
A simple REPL for Lean 4, returning information about errors and sorries.
Updated 2026-03-05 01:38:51 +00:00
GothenburgBitFactory.taskwarrior
C++ 0 0
Taskwarrior - Command line Task Management
gtd task-manager taskwarrior todo to-do-list
Updated 2026-03-04 05:33:43 +00:00
atomicdotdev.atomic
Rust 0 0
A mathematically sound version control system based on patch theory
Updated 2026-03-03 15:03:37 +00:00
graysky2.profile-sync-daemon
Shell 0 0
Symlinks and syncs browser profile dirs to RAM thus reducing HDD/SDD calls and speeding-up browsers.
Updated 2026-03-02 13:03:52 +00:00
leanprover-community.NNG4
Lean 0 0
Natural Number Game
lean4
Updated 2026-03-01 23:57:11 +00:00
GothenburgBitFactory.timewarrior
C++ 0 0
Timewarrior - Commandline Time Tracking and Reporting
cli time-tracker timetracker time-tracking timetracking timewarrior
Updated 2026-03-01 20:19:15 +00:00