☆41Apr 8, 2026Updated this 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 🚧☆12Updated this week
- Stats about HTTP response security headers usage mentioned by the OSHP.☆17Jan 25, 2026Updated 2 months ago
- Repository for the GEOS Land Data Assimilation Fixture☆12Apr 2, 2026Updated last week
- ComfyUI Fork☆11Nov 27, 2025Updated 4 months 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.
- This repository contains the core data schema, currently in beta, for the National Emergency Response Information System (NERIS).☆58Nov 7, 2025Updated 5 months ago
- Exploit scripts☆12Apr 10, 2022Updated 3 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☆15Oct 3, 2022Updated 3 years ago
- Android app for adsb.fi☆11Dec 13, 2023Updated 2 years ago
- The Docker image for hickory-dns☆15Mar 28, 2026Updated last week
- In this repo I will upload aggregated resources I get from my daily reading of academic papers.☆13Mar 14, 2026Updated 3 weeks ago
- Whole-Brain Modelling in PyTorch☆35Mar 19, 2026Updated 3 weeks ago
- Spectrum analysis and digital downconversion of high sample rates☆13Apr 24, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- 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 10 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 week
- A custom, naive RIPv2 daemon for Amprnet tunnel route maintenance☆19May 29, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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.☆13Feb 17, 2026Updated last month
- ☆13Jan 25, 2022Updated 4 years ago
- A Controlled Envelope SSB Transmitter for GNU Radio☆20Aug 28, 2025Updated 7 months ago
- ☆10Dec 13, 2022Updated 3 years ago
- Python port of Pipal for password analytics☆22Oct 3, 2023Updated 2 years ago
- 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 last month
- ☆18Dec 6, 2025Updated 4 months 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.
- GPUDirect example☆63Oct 19, 2021Updated 4 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
- 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
- Cyber Security resource list☆18Jan 21, 2025Updated last year
- Obtenga el tipo de cambio del dólar del web service del Banco Central de Costa Rica.☆13Apr 8, 2022Updated 4 years ago
- ☆18Apr 16, 2022Updated 3 years ago