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
- Configurations for bspwm, zsh, tmux, and more☆22Dec 13, 2023Updated 2 years ago
- Easy to use Discord-bot framework.☆11Jun 20, 2021Updated 5 years ago
- A DSL for Software-Defined Satellite Applications☆25Apr 14, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- Blindspots in LLMs I've noticed while AI coding. Sonnet family emphasis.☆13Mar 20, 2025Updated last year
- NIST P-256 signatures for Cortex-M4 microcontrollers☆16Mar 14, 2021Updated 5 years ago
- ☆14Mar 8, 2025Updated last year
- Framework for Algorithmic Correctness Testing of Operators☆16Mar 9, 2026Updated 3 months ago
- zer0dex is a local dual-layer memory pattern for AI agents: a compressed, human-readable markdown index plus a vector store queried autom…☆53Jun 27, 2026Updated last week
- USB 2.0 data types☆13Mar 16, 2021Updated 5 years ago
- Simplified, but feature rich Discord API wrapper written in modern C++.☆33Oct 8, 2021Updated 4 years ago
- sonic pi interface☆14Jan 5, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Ask questions, post issues, and add ideas for Tabby Cat!☆18May 4, 2017Updated 9 years ago
- discord.py@rewrite version for spoo.py☆28Aug 15, 2024Updated last year
- This little repo contains helpful Links to various topics about Programming.☆76Jan 3, 2023Updated 3 years ago
- Firmware and hardware for a 15-key chorded computer keyboard☆21Jul 1, 2017Updated 9 years ago
- Causal Analysis of Agent Behavior for AI Safety☆20Jun 27, 2023Updated 3 years ago
- A Raspberry PI shield for testing probe-rs against many chips & probes.☆14Jan 21, 2022Updated 4 years ago
- Estimate effective resource limits for a process e.g. how much RAM is available for use☆18Jun 26, 2026Updated last week
- A test program to help with the Docker challenge☆15Apr 16, 2020Updated 6 years ago
- **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
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆12Jan 19, 2020Updated 6 years ago
- LuaJIT access to Linux /proc file system☆14Mar 1, 2016Updated 10 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- Testing Ibex build using Yosys and open source toolchains.☆11Oct 2, 2021Updated 4 years ago
- Kotlin recursion schemes with Arrow☆22Jan 25, 2019Updated 7 years ago
- ☆14Dec 8, 2021Updated 4 years ago
- My attempt to improve the speed of the newton schulz algorithm, starting from the dion implementation.☆38Apr 30, 2026Updated 2 months ago
- A ptrace-based debugger written in Rust.☆15May 16, 2020Updated 6 years ago
- Rust library to calculate linear regressions.☆16Dec 5, 2022Updated 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.
- This code allows you to set a webbrowser as wallpaper in Windows 10 like Wallpaper Engine.☆34Dec 28, 2019Updated 6 years ago
- 🎭 An introduction to the Internet Archiving ecosystem, tooling, and some of the ethical dilemmas that the community faces.☆57Aug 15, 2024Updated last year
- a file format for rules about open-source licenses☆13Mar 3, 2016Updated 10 years ago
- Binary Ninja loader for common Nintendo Switch file types☆21Dec 11, 2023Updated 2 years ago
- CUDA & Triton Learning Project: Flash Attention 实现探索☆35Aug 14, 2025Updated 10 months ago
- GPUDirect Async suite☆16Dec 5, 2018Updated 7 years ago
- slides and materials for CS4803UWS at Georgia Tech, summer 2013, "UNIX Weapons School"☆26Aug 19, 2013Updated 12 years ago