01mf02 / cop-rsView external linksLinks
Connection provers in Rust
☆13Mar 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☆14Jan 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 2 months ago
- 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 …☆22Jan 28, 2026Updated 2 weeks ago
- Brunch is a very simple Rust micro-benchmark runner.☆30Jan 23, 2026Updated 3 weeks ago
- Pacman alternative for ArchLinux, designed with you in mind.☆24Updated this week
- Searchable changelog from markdown files.☆13Updated this week
- In-memory OLAP SQL server for object storage data.☆14Oct 15, 2025Updated 3 months ago
- Бот для пересылки сообщений из MAX в Telegram☆39Jan 25, 2026Updated 2 weeks ago
- Miscellaneous small bits and bobs.☆11Sep 8, 2025Updated 5 months ago
- 91-95 Jeep and Dodge EPROMS☆13Nov 25, 2025Updated 2 months ago
- Новый язык программирования для универсальной разработки.☆10Jul 23, 2023Updated 2 years ago
- Tool for making/verifying checksums of directory trees☆40Nov 5, 2021Updated 4 years ago
- Taskwire v1.52- Modern Linux System Monitor☆23Jan 15, 2026Updated 3 weeks ago
- Desktop Electron app for playing and downloading music.☆10Jul 9, 2024Updated last year
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- A python script to download spotify playlists and albums via youtube☆14May 6, 2020Updated 5 years ago
- Ultra-fast TCP port discovery engine with Nmap orchestration☆23Dec 8, 2025Updated 2 months ago
- ☆10Nov 18, 2023Updated 2 years ago
- 🔎 Detect architectures, platforms, and CI systems, grouped by family☆18Feb 6, 2026Updated last week
- Gemini für den Atari ST☆18Apr 15, 2025Updated 9 months ago
- ☆10Apr 1, 2018Updated 7 years ago
- Physics library for simulating particles☆15Jun 11, 2025Updated 8 months ago
- Various tools written or modified by me☆10Oct 26, 2025Updated 3 months ago
- Little Big Adventure (1994) by Adeline Software International☆11May 25, 2022Updated 3 years ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 7 years ago
- Run Bash and Linux Binaries on Windows☆12Jun 24, 2025Updated 7 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 3 months ago
- tintcd — Directory-aware terminal theming for PowerShell. cd, but colorful.☆30Dec 31, 2025Updated last month
- -.. --- - ..-. .. .-.. . ...☆11Sep 16, 2021Updated 4 years ago
- Detect dark/light mode on the CLI☆23Jan 27, 2026Updated 2 weeks ago
- a Postgres proxy to protect your db from cursor☆29Jan 18, 2026Updated 3 weeks ago
- Encrypted filesystem encfs GUI wrapper.☆14Aug 15, 2025Updated 5 months ago
- Binary releases of Visual Studio Code without MS branding/telemetry/licensing and various personal workflow improvements.☆14Apr 9, 2025Updated 10 months ago
- An extensible minecraft classic server☆10Apr 18, 2022Updated 3 years ago
- Generic implementation of CPDLC (Controller-Pilot Data Link Communications)☆14Dec 23, 2025Updated last month
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Shell server/client☆14Dec 31, 2025Updated last month
- ☆13Mar 27, 2019Updated 6 years ago