Michael Gielda's repositories
awesome-open-hardware-verification
A List of Free and Open Source Hardware Verification Tools and Frameworks
assert
Import Assertions in Astro
awesome-hardware-tools
List of awesome open source hardware tools
awesome-zephyr-rtos
🪁 A curated list of awesome projects and resources for the Zephyr RTOS project.
bookit
A UI component explorere desiged specifically for Svelte Kit, not spooky
excalidraw-collaboration
excalidraw with collaboration feature, one-click deploy
github1s
One second to read GitHub code with VS Code.
jetson-nano-baseboard
Antmicro's open hardware baseboard for the NVIDIA Jetson Nano
markdown-it-docutils
A markdown-it plugin for implementing docutils style roles/directives.
MyST-Parser
An extended commonmark compliant parser, with bridges to docutils/sphinx
PyBERT
Serial communication link bit error rate tester simulator, written in Python.
rustc_codegen_clr
This rust compiler backend emmits valid CLR IR, enabling you to use Rust in .NET projects
siliconcompiler
A modular build system for hardware
sparrow-kata
Project Sparrow: KataOS
trogon
Easily turn your Click CLI into a powerful terminal application
typer
Typer, build great CLIs. Easy to code. Based on Python type hints.
wav-build
Repository with infrastructure required to build Wavious Software
wav-lpddr-sw
Wavious DDR (WDDR) Physical interface (PHY) Software
wav-rtos-sw
Wavious RTOS Base Software