☆49Jun 25, 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 🚧☆13Apr 28, 2026Updated 2 months ago
- Stats about HTTP response security headers usage mentioned by the OSHP.☆16Jan 25, 2026Updated 5 months ago
- Repository for the GEOS Land Data Assimilation Fixture☆12Updated this week
- ComfyUI Fork☆12Jun 1, 2026Updated 3 weeks ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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).☆61Nov 7, 2025Updated 7 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 2 months ago
- Spectrum analysis and digital downconversion of high sample rates☆13Apr 24, 2023Updated 3 years ago
- Whole-Brain Modelling in PyTorch☆37Mar 19, 2026Updated 3 months ago
- Javascript client for the CU Randomness Beacon (CURBy)☆25Nov 22, 2024Updated last year
- 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 bindings for SoapySDR API☆19Apr 2, 2019Updated 7 years ago
- 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
- In this repo I will upload aggregated resources I get from my daily reading of academic papers.☆14Apr 9, 2026Updated 2 months ago
- Demo project for authentication WebSocket handshakes.☆12Mar 11, 2023Updated 3 years ago
- Experimental packages☆19May 21, 2026Updated last month
- 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 months ago
- A custom, naive RIPv2 daemon for Amprnet tunnel route maintenance☆19May 29, 2022Updated 4 years ago
- AI Agents on 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.
- A fast, ai-native macOS Calendar CLI built on go-eventkit☆63Jun 21, 2026Updated last week
- 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 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 10 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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 4 months ago
- ☆18Dec 6, 2025Updated 6 months ago
- GPUDirect example☆64Oct 19, 2021Updated 4 years ago
- Simple Script to query hash databases APIs☆16Oct 27, 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
- Some simple demo routines for the TinyFPGA BX☆16Sep 5, 2018Updated 7 years ago