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
✨ AI-powered coding, seamlessly in Neovim
Userscripts to get the stream download URL from Panopto
A problem type to be returned by HTTP APIs
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.
Abuse SDL port originally from Crack-Dot-Com and released into the public domain
Generate Podman Quadlet files from a Podman command, compose file, or existing object
ps4 controller vibration of course for debugging purposes
a very cool, featureful fork of conduit (rust matrix homeserver)
A plugin to visualise and resolve merge conflicts in neovim
A partial formalization of Geometric Algebra in the Lean formal proof verification system.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
Next-Generation of Chiaki (the open-source remote play client for PlayStation)
Client/server to synchronize media playback on mpv/VLC/MPC-HC/MPC-BE on many computers
Be lazy. Let Maid clean up after you, based on rules you define. Think of it as "Hazel for hackers".
A collection of IPA files from many different sources, for TrollStore!
💾 peer-to-peer sharing & live syncronization of files via command line
Automatically exclude development dependencies from Apple Time Machine backups