☆49Apr 29, 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 🚧☆13Updated this week
- 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
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 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☆15Oct 3, 2022Updated 3 years ago
- The Docker image for hickory-dns☆14Apr 16, 2026Updated last week
- In this repo I will upload aggregated resources I get from my daily reading of academic papers.☆13Apr 9, 2026Updated 2 weeks ago
- Whole-Brain Modelling in PyTorch☆36Mar 19, 2026Updated last month
- Spectrum analysis and digital downconversion of high sample rates☆13Apr 24, 2023Updated 3 years ago
- Javascript client for the CU Randomness Beacon (CURBy)☆25Nov 22, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 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 3 weeks ago
- A custom, naive RIPv2 daemon for Amprnet tunnel route maintenance☆19May 29, 2022Updated 3 years ago
- Template project for the The Bombercrab Challenge game, a stub Rust WASM player☆13Aug 12, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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 2 months 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
- 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 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆18Dec 6, 2025Updated 4 months ago
- 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☆19Jan 21, 2025Updated last year
- ☆18Apr 16, 2022Updated 4 years ago