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 last year
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:
- The Privacy Guide☆20Nov 12, 2017Updated 8 years ago
- Zettelkasten file processor☆12Oct 7, 2020Updated 5 years ago
- A rewrite of Robase 1.0.x using Promise API.☆11May 28, 2023Updated 2 years ago
- A minimalistic Discord API wrapper made in Posix Shell☆21Sep 10, 2020Updated 5 years ago
- A DSL for Software-Defined Satellite Applications☆25Apr 14, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- Hook collections for React Lua☆14Nov 28, 2024Updated last year
- A modern C++ library for processing test data in competitive programming.☆48Mar 30, 2026Updated last week
- A Mozilla Firefox extension to toggle JavaScript on Individual Domain.☆28Nov 30, 2021Updated 4 years ago
- A game about guessing marketplace prices.☆12Jan 18, 2025Updated last year
- Distributed lock backed by Dynamodb☆11Dec 7, 2023Updated 2 years ago
- Towards Optic-Based Algebraic Theories: the Case of Lenses☆17Nov 26, 2018Updated 7 years ago
- Roact hooks for Rodux☆12Mar 1, 2023Updated 3 years ago
- Polaris is a Roblox verification bot designed to provide additional features with greater ease.☆11Jan 2, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Simple team-based player list UI built with Fusion☆14Apr 22, 2022Updated 3 years ago
- ☆11Sep 15, 2019Updated 6 years ago
- A tool for importing go packages into gx☆12Apr 7, 2016Updated 10 years ago
- USB 2.0 data types☆13Mar 16, 2021Updated 5 years ago
- 🍭 An awesome little fantasy computer designed to be simple. ⛺☆10Mar 15, 2021Updated 5 years ago
- mirrored from https://git.openblox.org/openblox/libopenblox.git☆13May 20, 2020Updated 5 years ago
- discord.py@rewrite version for spoo.py☆29Aug 15, 2024Updated last year
- NodeJS Discord API framework built to scale☆14Dec 30, 2022Updated 3 years ago
- JS application from scratch without any dependencies☆19Oct 15, 2016Updated 9 years ago
- 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.
- 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☆17Updated this week
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 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
- The Charity Public License☆17May 16, 2021Updated 4 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- Testing Ibex build using Yosys and open source toolchains.☆11Oct 2, 2021Updated 4 years ago
- ☆14Dec 8, 2021Updated 4 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- ☆13May 10, 2021Updated 4 years ago
- A simple, lightweight utility for making beautiful logs.☆13Jul 12, 2023Updated 2 years ago
- A ptrace-based debugger written in Rust.☆15May 16, 2020Updated 5 years ago
- A sharder for the Discord.js library☆11Jan 17, 2023Updated 3 years ago
- Generic Allocation Contest Manager☆10Jan 4, 2023Updated 3 years ago
- This code allows you to set a webbrowser as wallpaper in Windows 10 like Wallpaper Engine.☆34Dec 28, 2019Updated 6 years ago
- My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.☆14Aug 3, 2019Updated 6 years ago