Lock1's Stars
awesome-selfhosted/awesome-selfhosted
A list of Free Software network services and web applications which can be hosted on your own servers
torvalds/linux
Linux kernel source tree
3b1b/manim
Animation engine for explanatory math videos
zadam/trilium
Build your personal knowledge base with Trilium Notes
ValveSoftware/Proton
Compatibility tool for Steam Play based on Wine and additional components
ManimCommunity/manim
A community-maintained Python framework for creating mathematical animations.
motion-canvas/motion-canvas
Visualize Your Ideas With Code
ppy/osu
rhythm is just a *click* away!
id-Software/DOOM
DOOM Open Source Release
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
libsdl-org/SDL
Simple Directmedia Layer
google/magika
Detect file content types with deep learning
00-Evan/shattered-pixel-dungeon
Shattered Pixel Dungeon is an open-source traditional roguelike dungeon crawler with randomized levels and enemies, and hundreds of items to collect and use. It's based on the source code of Pixel Dungeon, by Watabou.
leanprover/lean4
Lean 4 programming language and theorem prover
crosire/reshade
A generic post-processing injector for games and video software.
KhronosGroup/Vulkan-Hpp
Open-Source Vulkan C++ API
GPUOpen-Effects/FidelityFX-FSR
FidelityFX Super Resolution
LambdaHack/LambdaHack
Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at
zenorogue/hyperrogue
A SDL roguelike in a non-euclidean world
takemaru/graphillion
Fast, lightweight graphset operation library
wube/factorio-data
Tracks changes of the lua prototype definitions in factorio inbetween releases.
abstrakt8/rewind
A beatmap/replay analyzer for the rhythm game called osu!
ImperialCollegeLondon/natural_number_game
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
GPUOpen-Effects/FidelityFX-CLI
FidelityFX CLI
leanprover-community/tutorials
Some Lean tutorials
ThereGoesMySanity/osuMissAnalyzer
A program to analyze misses in an osu! replay
ReversingID/DLL-Exercise
Simple self-exercises for learning DLL creation and utilization.