Repositories
34
 Projects Packages Code
Filter
Sort
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
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 10:19:57 +00:00
leanprover-community.mathlib4
Lean 0 0
The math library of Lean 4
lean4
Updated 2026-03-06 09:45:47 +00:00
leanprover-community.mathlib4-nightly-testing
Lean 0 0
nightly-testing and lean-pr-testing branches of Mathlib
Updated 2026-03-06 07:43:17 +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
BGforgeNet.Fallout2_Restoration_Project
omnetpp-msg 0 0
Fallout 2 Restoration Project, updated
fallout fallout2
Updated 2026-03-03 09:41:41 +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
Malekitsu.Maw-Mod-MMMerge
Lua 0 0
Maw Mod code adapted for MMMerge
Updated 2026-03-01 18:14:28 +00:00
yacy.yacy_search_server
Java 0 0
Distributed Peer-to-Peer Web Search Engine and Intranet Search Appliance
decentralized intranet-search intranet-search-engine p2p p2p-network privacy privacy-protection search-engine searchengine web websearch web-search-engine webseearch-engine
Updated 2026-03-01 16:52:40 +00:00
LMMS.lmms
C++ 0 0
Cross-platform music production software
daw hacktoberfest midi music songs
Updated 2026-03-01 15:04:51 +00:00