☆49May 12, 2026Updated last week
Alternatives and similar repositories for maude-hcs
Users that are interested in maude-hcs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A utility for embedded Linux systems for writing JPEG images directly to the framebuffer☆18Jan 31, 2023Updated 3 years ago
- Writing cross compiler from Vilnius BASIC into MACRO11. WIP 🚧☆13Apr 28, 2026Updated 3 weeks ago
- Stats about HTTP response security headers usage mentioned by the OSHP.☆16Jan 25, 2026Updated 3 months ago
- Repository for the GEOS Land Data Assimilation Fixture☆12Updated this week
- ComfyUI Fork☆11Nov 27, 2025Updated 5 months 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.
- Download and Transcribe X Spaces☆11Nov 16, 2024Updated last year
- This repository contains the core data schema, currently in beta, for the National Emergency Response Information System (NERIS).☆58Nov 7, 2025Updated 6 months ago
- Exploit scripts☆12Apr 10, 2022Updated 4 years ago
- Faking dispersion caustics by accumulating photons in a texture☆37Jul 20, 2018Updated 7 years ago
- A tool to assist in the development of landing pages for phishing campaigns☆16Oct 3, 2022Updated 3 years ago
- The Docker image for hickory-dns☆14Apr 16, 2026Updated last month
- In this repo I will upload aggregated resources I get from my daily reading of academic papers.☆13Apr 9, 2026Updated last month
- Spectrum analysis and digital downconversion of high sample rates☆13Apr 24, 2023Updated 3 years ago
- Whole-Brain Modelling in PyTorch☆36Mar 19, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Javascript client for the CU Randomness Beacon (CURBy)☆25Nov 22, 2024Updated last year
- Evil maid attacks are the biggest threat to full disk encryption, if you can't provide 100% physical security. It's not about locking you…☆11Sep 4, 2016Updated 9 years ago
- Go bindings for SoapySDR API☆19Apr 2, 2019Updated 7 years ago
- Demo project for authentication WebSocket handshakes.☆12Mar 11, 2023Updated 3 years ago
- Experimental packages☆19Jun 8, 2025Updated 11 months ago
- u-blox Linux Kernel repository☆12Jan 29, 2016Updated 10 years ago
- Useful Pentest tool links☆12Aug 13, 2020Updated 5 years ago
- Command line client for Valohai☆17Mar 30, 2026Updated last month
- A custom, naive RIPv2 daemon for Amprnet tunnel route maintenance☆19May 29, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A fast, ai-native macOS Calendar CLI built on go-eventkit☆50May 6, 2026Updated 2 weeks ago
- Template project for the The Bombercrab Challenge game, a stub Rust WASM player☆13Aug 12, 2022Updated 3 years ago
- Go package for working with APRS string and byte packets. It can upload those packets via APRS-IS or transmit them via TNC KISS.☆13Apr 30, 2026Updated 2 weeks ago
- Android app for adsb.fi☆12Dec 13, 2023Updated 2 years ago
- ☆13Jan 25, 2022Updated 4 years ago
- A Controlled Envelope SSB Transmitter for GNU Radio☆20Aug 28, 2025Updated 8 months ago
- Documentación General de la Factura Electrónica del Ministerio de Hacienda☆18Jan 24, 2018Updated 8 years ago
- ☆10Dec 13, 2022Updated 3 years ago
- Python port of Pipal for password analytics☆22Oct 3, 2023Updated 2 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- py.test plugin that activates the fault handler module during testing☆27Jul 11, 2020Updated 5 years ago
- Ham::FAP – Finnish APRS Parser☆13Feb 16, 2026Updated 3 months ago
- ☆18Dec 6, 2025Updated 5 months ago
- GPUDirect example☆64Oct 19, 2021Updated 4 years ago
- Simple Script to query hash databases APIs☆16Oct 27, 2018Updated 7 years ago
- Some simple demo routines for the TinyFPGA BX☆16Sep 5, 2018Updated 7 years ago
- bxgateway connects you to the BDN, a blockchain distribution network, to greatly speed up block propagation times and scale your blockcha…☆24Jul 20, 2023Updated 2 years ago