Lists (1)
Stars
A repository that implements Tywaves: enabling a type-based waveform debugging for Chisel and Tydi-Chisel. Mapping from Chisel level code to values dumped by simulators is now possible thanks to Ty…
Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀
Open Source SMT Pick and Place Hardware and Software
Xronos revolutionizes robotics software — enabling reproducible behavior, timing control, and rapid root cause analysis through built-in observability.
A lightweight reactor runtime targeted at distributed resource-constrained embedded systems
Nix template for the chisel-based industrial designing flows.
Serving sflow traffic metrics as Prometheus endpoints.
Compose papers, dissertations, textbooks, novels, newspapers etc. quicker using abstractions to the standard LaTeX document classes - or create your own classes easily.
This is a project, where I give you a way to use SOLIDWORKS on Linux!
F´ - A flight software and embedded systems framework
Nixos module, allowing app deployment via git hooks into pure servers
A collection of tools for tracking planes/helicopters/UFOs/whatever with ADS-B. Packaged for NixOS with packages and modules
The highly inovative feedback system for the deusche bahn
A Rust crate for cooking up terminal user interfaces (TUIs) 👨🍳🐀 https://ratatui.rs
Multi-Joint dynamics with Contact. A general purpose physics simulator.
CLI to migrate your matrix account from one to the other
A minimalist single-header library for building pattern-matchers, lexers, and parsers.