Lists (12)
AI
Models, tools, resources related to AI, machine learning, and LLMsCrypto trading
easyA Hackathon
Homelab ideas
Lean-prover
misc. resources for the Lean theorem proverMathInput
Misc Resources
Playstation
Stars
Mukul1127 / Minecraft-Performance-Flags-Benchmarks
Forked from brucethemoose/Minecraft-Performance-Flags-BenchmarksSane, Benchmarked Java Flags and Tweaks for Minecraft
apancik / Abuse_2025
Forked from Xenoveritas/abuseAbuse 2025 is a modern port of the original game from 1995/1996, updated to run on modern systems and with new features like high-resolution graphics, controller support, and more.
desmosinc / mathquill
Forked from mathquill/mathquillMagic textboxes where you can type math as easily as writing!
roothide / Dopamine2-roothide
Forked from opa334/DopamineDopamine is a semi-untethered jailbreak for iOS 15 and 16
varClean for Trollstore (supports iOS14 and iOS15+)
MacSourcePorts / Abuse_1996
Forked from antrad/Abuse_1996SDL2 port of Abuse by Crack dot Com
CERTCC / kaiju
Forked from cmu-sei/kaijuCERT Kaiju is a binary analysis framework extension for the Ghidra software reverse engineering suite. This repository is the primary, canonical repository for this project -- file bug reports and …
drbothen / udacimak
Forked from udacimak/udacimakUdacity Nanodegree and Course Downloader
wangbinyq / libreddit
Forked from libreddit/libredditPrivate front-end for Reddit, wasm fork, run in edge. support deno deploy and netlify