Repositories Users Organizations Code
Filter
Sort
archive/ lutris.lutris
Python 0 0
Lutris desktop client
game-launcher gaming
Updated 2026-03-06 01:33:15 +00:00
GitHub/ leanprover-community.mathlib4-nightly-testing
Lean 0 0
nightly-testing and lean-pr-testing branches of Mathlib
Updated 2026-03-06 01:15:01 +00:00
GitHub/ leanprover-community.mathlib4
Lean 0 0
The math library of Lean 4
lean4
Updated 2026-03-06 01:12:25 +00:00
GitHub/ leanprover-community.batteries
Lean 0 0
The "batteries included" extended library for the Lean programming language and theorem prover
lean lean4
Updated 2026-03-06 00:36:05 +00:00
archive/ wine.wine
C 0 0
Wine development tree
Updated 2026-03-05 21:12:58 +00:00
GitHub/ WinterSnowfall.d7vk
C++ 0 0
Vulkan-based implementation of D3D7, 6 and 5 for Linux / Wine, spun off from DXVK.
Updated 2026-03-05 17:38:02 +00:00
archive/ OpenEnroth.OpenEnroth
C++ 0 0
Open reimplementation of Might and Magic 6 7 8 game engine
Updated 2026-03-05 12:28:04 +00:00
GitHub/ leanprover-community.lean4game
TypeScript 0 0
Server to host lean games.
lean4 react
Updated 2026-03-05 01:47:30 +00:00
GitHub/ 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
mohamed/ funkwhale.funkwhale
Python 0 0
Unified repository for both the API and the front-end
Updated 2026-03-04 22:30:34 +00:00
archive/ papra
TypeScript 0 0
The minimalistic document archiving platform.
app archive document documents self-hosted
Updated 2026-03-04 22:07:43 +00:00
archive/ MoonchildProductions.UXP
C++ 0 0
Updated 2026-03-04 17:19:08 +00:00
GitHub/ 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
GitHub/ atomicdotdev.atomic
Rust 0 0
A mathematically sound version control system based on patch theory
Updated 2026-03-03 15:03:37 +00:00
GitHub/ BGforgeNet.Fallout2_Restoration_Project
omnetpp-msg 0 0
Fallout 2 Restoration Project, updated
fallout fallout2
Updated 2026-03-03 09:41:41 +00:00
GitHub/ 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
GitHub/ leanprover-community.NNG4
Lean 0 0
Natural Number Game
lean4
Updated 2026-03-01 23:57:11 +00:00
archive/ MoonchildProdutions.Pale-Moon
JavaScript 0 0
Updated 2026-03-01 22:38:58 +00:00
archive/ MoonchildProductions.Pale-Moon
JavaScript 0 0
Updated 2026-03-01 22:38:58 +00:00
GitHub/ 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