Dev tools · alternatives · 2026
24 alternatives to Formally verified FPGA watchdog for AM broadcast in unmanned tunnels
Contribute to Park07/amradio development by creating an account on GitHub.
This is a formally verified FPGA watchdog system designed for AM broadcast applications in unmanned tunnels. It uses field-programmable gate array technology with mathematical verification to ensure reliability in… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
OpenStatus▲434Hey HN! We’re Max and Thibault building OpenStatus.dev an OpenSource synthetic monitoring platform with incident managements 1 min demo: https://twitter.com/mxkaske/status/1685666982786404352 We have just reached 2000 stars on GitHub https://github.com/openstatusHQ/openstatus We are really excited to hear your feedback/questions and connect further: our emails are [email protected] and [email protected]. Thank you!
2025 · openstatus.dev · its alternatives →
- 2
Prelude Verify▲479Verify more users for less cost with our spam-free SMS API
2024 · prelude.so · its alternatives →
- 3
We've just launched v2.5 of SatCat5, the open-source FPGA Ethernet switch [1]. SatCat5 contains various FPGA building blocks that let you build a custom mixed-media Ethernet switch. It was originally intended for cubesats [2] but has many other potential applications. The headline feature for this release is support for the IEEE-1588 Precision Time Protocol (PTP). SatCat5 has demonstrated end-to-end synchronization to within 50 ps-rms, which is approaching the world-leading performance of CERN's White Rabbit Project [3]. Except we're doing time-transfer over regular, non-synchronous…
2024 · github.com · its alternatives →
- 4
I built LocalGPT over 4 nights as a Rust reimagining of the OpenClaw assistant pattern (markdown-based persistent memory, autonomous heartbeat tasks, skills system). It compiles to a single ~27MB binary — no Node.js, Docker, or Python required. Key features: - Persistent memory via markdown files (MEMORY, HEARTBEAT, SOUL markdown files) — compatible with OpenClaw's format - Full-text search (SQLite FTS5) + semantic search (local embeddings, no API key needed) - Autonomous heartbeat runner that checks tasks on a configurable interval - CLI + web interface + desktop GUI - Multi-provider:…
Feb 2026 · github.com · its alternatives →
- 5
Complete open-source monitoring and observability platform. - OneUptime/oneuptime
2024 · github.com · its alternatives →
- 6
Many teams connecting LLMs to external tools eventually encounter the same architectural issue: as more tools and agents are added, the integration pattern becomes an N×M mesh of direct connections. Each agent implements its own auth, retries, rate limiting, and logging; each tool needs credentials distributed to multiple places and observability becomes fragmented. We built LLM gateway with this goal to provide a single place to manage authentication, authorization, routing, and observability for MCP servers, with a path toward a more general agent-gateway architecture in the future. The…
Dec 2025 · truefoundry.com · its alternatives →
- 7
- 8FU
un0rick is a open-source ultrasound project.
2018 · un0rick.cc · its alternatives →
- 9
- 10
Dear HN community! Looking forward to hearing your feedback on ACE (assured confidential execution), technology that implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware. We target high-assurance systems that can benefit from compartmentalization and hardware-backed isolation. The key ingredient called security monitor (firmware) is implemented in Rust. The formal specification is defined as annotations directly in code and gets translated to Coq using RefinedRust automation. ACE design is now part of the…
2025 · github.com · its alternatives →
- 11
Open source APM: OpenTelemetry traces, metrics, and logs - uptrace/uptrace
2021 · github.com · its alternatives →
- 12
If you've built any web-based app in the last 15 years, you probably used something like Datadog, New Relic, Sentry, etc. to monitor and trace your app, right? Why should it be different when the app you're building happens to be using LLMs? So today we're open-sourcing OpenLLMetry-JS. It's an open protocol and SDK, based on OpenTelemetry, that provides traces and metrics for LLM JS/TS applications and can be connected to any of the 15+ tools that already support OpenTelemetry. Here's the repo: https://github.com/traceloop/openllmetry-js A few months ago we launched…
2024 · github.com · its alternatives →
- 13
A pipeline that translates Rust GPU code into formal Coq models, as a foundation for memory model proofs - neelsomani/vericuda
2025 · github.com · its alternatives →
- 14AT
A 3.16M-parameter INT4 transformer running entirely in the on-chip memory of a Xilinx Kria KV260. Zero DRAM in the token loop, 59,965 tok/s on the fabric, bit-exact. Chat with it live.
Aug 2026 · mikeayles.com · its alternatives →
- 15
Check out our new project to add some insight into OOM kill events for Go programs. Source code: https://github.com/parca-dev/oomprof/ Description of how it was put together: https://www.polarsignals.com/blog/posts/2025/08/13/oomprof
2021 · polarsignals.com · its alternatives →
- 16
A cross-language, zero-copy coroutine observability framework based on the cTP shared-memory protocol, utilizing lock-free ring buffers for ultra-low overhead state tracing. - lixiasky-back/coroTracer
Mar 2026 · github.com · its alternatives →
- 17
ServiceRadar is an open-source platform for distributed, secure network management and observability, scaling to 100k+ devices. Born from frustration with complex traditional NMS tools like Zabbix, it bridges legacy (SNMP/syslog) and modern (gNMI, OTLP) protocols for cloud-native environments. We built ServiceRadar to simplify monitoring hybrid telecom networks, evolving it into a Kubernetes-native solution with Helm and Docker support. It uses mTLS with SPIFFE/SPIRE, NATS JetStream for event streaming (90M+ EPS), and SRQL for intuitive queries. Integrated with OpenTelemetry,…
2025 · github.com · its alternatives →
- 18
A self-contained wifi sandbox for inspecting your own IoT devices - ABGEO/mezz
May 2026 · github.com · its alternatives →
- 19
I built a software-defined radio transmission platform that runs on a Raspberry Pi Zero W. It spawns its own WiFi hotspot and serves a web UI — connect from any device and you have a portable RF signal generator with 12 transmission modes: FM broadcasting with RDS, FT8, RTTY, FSK, POCSAG paging, Morse code, SSTV image transmission, voice cloning via live mic, spectrum painting, IQ replay, carrier wave, and frequency sweeps. Everything runs through a browser interface. Upload audio files, type messages, configure frequencies, and transmit. The Pi's GPIO pin does the actual RF generation via…
Feb 2026 · github.com · its alternatives →
- 20
It is based on phase noise, consumes less than 60 LUT4s/FFs and achieves up to 7.99 bits of entropy per byte. Feel free to comment if you have any questions, ideas or thoughts :)
2023 · github.com · its alternatives →
- 21
I built a small Linux tool to deterministically verify GPU PCIe link health and bandwidth. It reports: - Negotiated PCIe generation and width - Peak Host→Device and Device→Host memcpy bandwidth - Sustained PCIe TX/RX utilization via NVML - A rule-based verdict derived from observable hardware data only This exists because PCIe issues (Gen downgrades, reduced lane width, risers, bifurcation) are often invisible at the application layer and can’t be fixed by kernel tuning or async overlap. Linux-only: it relies on sysfs and PCIe AER exposure that Windows does not provide.
Dec 2025 · github.com · its alternatives →
- 22
The project identifies as "Your Raspberry Pi FM network". It uses a fork of the well-known PiFmRds as a backend to stream audio on FM radio. It allows the control of multiple pi units with a central server, that can also be temporarly hosted on google cloud shell or github codespaces.
Dec 2025 · github.com · its alternatives →
- 23BA
Hello Hacker News, My co-founder and I have spent the better part of years developing a completely hackable Home Automation toolset that runs on a Raspberry Pi, or any machine running Linux. With just a Raspberry Pi and a $45 Z-Wave dongle (https://www.amazon.com/Aeotec-Z-Stick-Z-Wave-create-gateway/...), you can run a complete home automation system! Our hub will support any Z-Wave or Z-Wave plus device. We are cloud hosted service that doesn't require you to purchase any proprietary hardware. Our hub software runs on NodeJS and is completely open source. We encourage…
2018 · its alternatives →
- 24
Hi HN, I've been developing Portkey Gateway, an open-source AI gateway that's now processing billions of tokens daily across 200+ LLMs. Today, we're launching a significant update: integrated Guardrails at the gateway level. Key technical features: 1. Guardrails as middleware: We've implemented a hooks architecture that allows guardrails to act as middleware in the request/response flow. This enables real-time LLM output evaluation and transformation. 2. Flexible orchestration: The gateway can now route requests based on guardrail verdicts. This allows for complex logic like fallbacks…
2024 · github.com · its alternatives →
Also compare
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →