Resources recommended by members of our community. We welcome contributions, so feel free to send us pull requests adding things to the list! The resources in this list automatically get pushed to the http://progdisc.club/resources page.
☆113May 7, 2024Updated 2 years ago
Alternatives and similar repositories for resources
Users that are interested in resources are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Missing addon manager for firefox☆17Aug 3, 2023Updated 2 years ago
- The Privacy Guide☆20Nov 12, 2017Updated 8 years ago
- Python tool for configuring Alesis V-Series MIDI controllers☆14Jun 23, 2019Updated 6 years ago
- Physoly website and submission portal for online contests.☆11Mar 8, 2026Updated 2 months ago
- ☆11Jan 2, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A DSL for Software-Defined Satellite Applications☆25Apr 14, 2020Updated 6 years ago
- 📑Useful resources for developers☆147Jul 18, 2024Updated last year
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- A companion list of tools for my commonplacing☆20Updated this week
- Modeling AWS application load balancers using Alloy☆13Dec 27, 2021Updated 4 years ago
- discord.py@rewrite version for spoo.py☆28Aug 15, 2024Updated last year
- 32-bit hashing machinery☆14Apr 30, 2026Updated 3 weeks ago
- ☆19Sep 26, 2021Updated 4 years ago
- 🌈 Shiki plugin for milkdown. Add support for shiki highlight.☆11Sep 11, 2021Updated 4 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Estimate effective resource limits for a process e.g. how much RAM is available for use☆17May 18, 2026Updated last week
- **SCAM ALERT !!!!!!! ALPHABAY VE DARK WEB TURKİSH DOLANDIRICIDIR BU KONUYU AÇANLARDA KENDİLERİDİR UZAK DURUN** **BÜYÜK BİR DOLANDIRICIL…☆10Jul 14, 2023Updated 2 years ago
- ✍️ A simplified publishing tool☆13Jan 5, 2023Updated 3 years ago
- Three.js Dance party with Mixamo 🕺🎉☆12Jan 7, 2023Updated 3 years ago
- The Charity Public License☆17May 16, 2021Updated 5 years ago
- Derive instances through isomorphisms☆20Jun 7, 2024Updated last year
- Testing Ibex build using Yosys and open source toolchains.☆11Oct 2, 2021Updated 4 years ago
- My Emacs configuration☆19Mar 24, 2026Updated 2 months ago
- A simple, lightweight utility for making beautiful logs.☆13Jul 12, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A sharder for the Discord.js library☆11Jan 17, 2023Updated 3 years ago
- [Resource List] Courses and info I've found most helpful☆260Aug 5, 2023Updated 2 years ago
- This code allows you to set a webbrowser as wallpaper in Windows 10 like Wallpaper Engine.☆34Dec 28, 2019Updated 6 years ago
- a file format for rules about open-source licenses☆13Mar 3, 2016Updated 10 years ago
- same of the name 🚀 Add copy-paste functionality to NoVNC sessions with a simple script. Now with special characters support (@, #, $). N…☆56Apr 23, 2026Updated last month
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- slides and materials for CS4803UWS at Georgia Tech, summer 2013, "UNIX Weapons School"☆25Aug 19, 2013Updated 12 years ago
- ☆13Apr 25, 2024Updated 2 years ago
- Improved telegram bot that notifies you about events your public GitHub repositories.☆32Feb 2, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple and clean discord server landing page☆21Feb 16, 2017Updated 9 years ago
- Lottie animations renderer using rlottie.☆13Mar 28, 2026Updated last month
- An anonymous PoW token to monetize the web☆12Mar 4, 2024Updated 2 years ago
- OpenBSD tcpbench ported to GNU/Linux☆15Feb 11, 2026Updated 3 months ago
- This is like Inverting Binary Tree, but instead of a Binary Tree it's a File Tree.☆11Apr 21, 2021Updated 5 years ago
- A Vite plugin to remove certain exports☆23Nov 4, 2022Updated 3 years ago
- A stateful gateway for Discord Bots. Scaling well, it processes messages from the Discord gateway and puts them in AMQP exchanges.☆13Apr 20, 2021Updated 5 years ago