Connection provers in Rust
☆14Mar 13, 2024Updated last year
Alternatives and similar repositories for cop-rs
Users that are interested in cop-rs are comparing it to the libraries listed below
Sorting:
- Erku is an IPTV and video on demand client for the Roku OS.☆12Dec 29, 2024Updated last year
- A password validation and generation tool kit☆15Jan 7, 2023Updated 3 years ago
- A secure CLI application for temporary file storage using AWS S3 with automatic expiration, intelligent chunking, and local history track…☆20Nov 18, 2025Updated 3 months ago
- Cross platform desktop music player, with the ability to download songs from Youtube and Spotify, ability to share status in Discord, pla…☆15Updated this week
- PuPu is a lightweight tool that makes it easy to run AI models on your own device. Designed for smooth performance and ease of use, PuPu …☆22Updated this week
- Modern GTK4 terminal emulator powered by Python. Fast, sleek, and extensible.☆47Updated this week
- Brunch is a very simple Rust micro-benchmark runner.☆30Jan 23, 2026Updated last month
- Miscellaneous small bits and bobs.☆11Sep 8, 2025Updated 5 months ago
- 91-95 Jeep and Dodge EPROMS☆13Nov 25, 2025Updated 3 months ago
- Open source chess training software. Play against bots, analyze with engines, explore chess openings, and more.☆25Feb 4, 2026Updated last month
- In-memory OLAP SQL server for object storage data.☆14Oct 15, 2025Updated 4 months ago
- Бот для пересылки сообщений из MAX в Telegram☆40Feb 11, 2026Updated 3 weeks ago
- Searchable changelog from markdown files.☆13Feb 25, 2026Updated last week
- Новый язык программирования для универсальной разработки.☆10Jul 23, 2023Updated 2 years ago
- Tool for making/verifying checksums of directory trees☆40Nov 5, 2021Updated 4 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- 🔎 Detect architectures, platforms, shells, terminals, CI systems and agents, grouped by family☆18Updated this week
- Physics library for simulating particles☆15Jun 11, 2025Updated 8 months ago
- Ultra-fast TCP port discovery engine with Nmap orchestration☆23Dec 8, 2025Updated 2 months ago
- Daily updated 1G1R .DATs☆38Updated this week
- interactive command line options for the click library☆10Dec 22, 2025Updated 2 months ago
- ☆10Nov 18, 2023Updated 2 years ago
- Little Big Adventure (1994) by Adeline Software International☆11May 25, 2022Updated 3 years ago
- Gemini für den Atari ST☆18Apr 15, 2025Updated 10 months ago
- A python script to download spotify playlists and albums via youtube☆14May 6, 2020Updated 5 years ago
- Various tools written or modified by me☆10Oct 26, 2025Updated 4 months ago
- Sources of the EuroProofNet web site.☆13Updated this week
- A portable re-packaging of Prism Launcher☆14Feb 14, 2026Updated 2 weeks ago
- ☆10Apr 1, 2018Updated 7 years ago
- Run Bash and Linux Binaries on Windows☆12Jun 24, 2025Updated 8 months ago
- Automate the setup of Damn Vulnerable Web Application (DVWA) with this Bash script. It ensures a smooth installation, adapting to the sys…☆11Oct 15, 2025Updated 4 months ago
- Desktop Electron app for playing and downloading music.☆10Jul 9, 2024Updated last year
- Python scripts that build optimal routes for node collection☆12Feb 26, 2026Updated last week
- A simple chip-8 emulator in C++ using SDL2 with desktop & browser support☆10Nov 1, 2024Updated last year
- A useful Template to build a Delphi Shell Extension☆13Nov 1, 2022Updated 3 years ago
- Video about NP-completeness, circuit SAT and "reversing time"☆15Aug 18, 2024Updated last year
- A minimal cross-platform terminal task manager☆18Updated this week
- An extensible minecraft classic server☆10Apr 18, 2022Updated 3 years ago
- Taskwire v1.52- Modern Linux System Monitor☆23Jan 15, 2026Updated last month