Alternatives
Products that do what Intarva does
Virtual Electronics Lab
- 1
- 2SM
Hi HN, we are building SimBricks, an open-source simulation framework for heterogeneous systems, especially with custom hardware. SimBricks modularly combines existing simulators for machines, networks, and hardware, allowing you to build, test, and evaluate intricate complete systems in a virtual environment. Head over to the SimBricks website (https://simbricks.github.io/, also has a quick demo video) to learn more. We have pre-built docker images, and you can even immediately play around on codespaces. Concrete use-cases: - Evaluate HW accelerators, from early design with…
2024 · simbricks.github.io
- 3SO
Hi HN, My name is George, and I am helping build an office focused VR headset called the “Simula One”. It was discussed recently here: https://news.ycombinator.com/item?id=28695455. We have just opened our store for preorders (https://shop.simulavr.com), so that we and our backers can help people replace their old PCs/laptops with more capable VR headsets. We call our headset a “VR Computer” (or a “VRC”) to distinguish it from gaming headsets. When Simula was founded, most people thought the future of VR was in games & entertainment. The truth is that VR offers…
2022 · shop.simulavr.com
- 4AS
2014 · github.com
- 5IM
This is a little toy project of mine that lets you simulate digital logic graphs. It was inspired by Minecraft's Redstone and the Piet esolang. It's got some serious drawbacks-- you write circuits as PNGs and simulate them with a Python interface. It's slow to run and slow to experiment with. And it is certainly difficult to use for people with any kind of color blindness. But despite that, I hope this can still be a fun toy!
2022 · github.com
- 6CC
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
- 7
- 8EV
2024 · github.com
- 9MA
2019 · github.com
- 10
- 11
- 12IB
We wanted to do something very challenging to prove to ourselves that we can do anything we put our mind to. The reasoning for why we chose to build a toy TPU specifically is fairly simple: - Building a chip for ML workloads seemed cool - There was no well-documented open source repo for an ML accelerator that performed both inference and training None of us have real professional experience in hardware design, which, in a way, made the TPU even more appealing since we weren't able to estimate exactly how difficult it would be. As we worked on the initial stages of this project, we…
2025 · tinytpu.com
- 13
- 14AA
I pretty much always have a kernel project going on, and have been that way for decades. Over the past couple of years, that's been Anos, which has gotten further along than any of my previous hobby kernels, supporting IPC, multitasking, SMP (x86-64 only right now) and running on real hardware. LLMs (mostly Claude Code) have been used during development, but I learned early on that it's not _great_ at code at this level, so I've restricted its use to mostly documentation and tests. There's _a little_ AI code in the user space, but I have a strict "no AI code" rule in the kernel itself. I…
Apr 2026 · github.com
- 15
- 16
- 17MA
Hi HN! I'm Fischer, and I'm super stoked to share a project that I've been working on for a little over a year: Manta, an open-source, cross-platform, vendor-independent tool for debugging and rapid prototyping with FPGAs. This was originally my Master's Thesis at MIT, where I developed it for our course on FPGA design. We needed an alternative to vendor debugging tools, which only supported x86 machines running Windows or Linux. We were able to patch in macOS support with VMs, but as more students came bringing ARM-based devices, we needed a new tool. So I developed this. It's called Manta,…
2024 · fischermoseley.github.io
- 18VM
Just sharing this project [0] I've worked on a while ago, it's not that interesting but I was proud of making it. It has a CLI and a GUI that is done with Dear ImGui and includes an instruction editor, memory and registers viewer, and a canvas that is manipulated with an extra instruction made specifically for the GUI! This is not my first attempt at a virtual machine implementation, I've done the popular LC-3 VM before [1], check it out if you're interested to see Rust code rather than C++ ;) [0]: https://github.com/faresbakhit/vole-sim [1]:…
2025 · faresbakhit.github.io
- 19
- 20WS
Jul 2026 · risingedge.pro
- 21AT
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.
27d ago · mikeayles.com
- 22SV
2016 · github.com
- 23
- 24OR
Hi HN! This is an SDK for ESP32s (microcontrollers) that runs against OpenAI's new WebRTC service [0] My hope is that people can easily add AI to lots of 'real' devices. Wearable devices, speakers around the house, toys etc... You don't have to write any code, just buy a device and set some env variables. If you have any feedback/questions I would love to hear! I hope this kicks off a generation of new interesting devices. If you aren't familiar with WebRTC it can do some magical things. Check out WebRTC for the Curious[1] and would love to talk about all the cool things that does also.…
2024 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →