Stars
- All languages
- Ada
- Assembly
- BitBake
- Bluespec
- C
- C++
- CMake
- Dart
- Dhall
- Dockerfile
- Elixir
- Go
- HTML
- Handlebars
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Makefile
- Mojo
- Nix
- OCaml
- Odin
- Pascal
- Python
- QML
- RobotFramework
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Shell
- Standard ML
- Starlark
- SuperCollider
- SystemVerilog
- Tcl
- TeX
- TypeScript
- Verilog
- Vim Script
- Zig
- reStructuredText
tool to generate multiple filesystem and flash images from a tree
Metis is an open-source, AI-driven tool for deep security code review
Open Source Robotic Arm for All Developers
Writing Better Rust: a refactoring workshop
💫 Toolkit to help you get started with Spec-Driven Development
RTOS combining Linux rigor with Plan 9 simplicity, designed around SMP, real-time scheduling, and integrated networking.
This project demonstrates the use of the System Memory Management Unit (SMMU) in a baremetal environment.
A portable microkernel-based multiserver operating system written from scratch.
Terminal Markdown previewer — GUI-like experience.
Modern embedded framework, using Rust and async.
Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
Claude Code is an agentic coding tool that lives in your terminal, understands your codebase, and helps you code faster by executing routine tasks, explaining complex code, and handling git workflo…
The Grimoire Hypervisor solution for x86 Processors with experimental nested virtualization support. Remastering with Rust in progress.
AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.
This git contains the official documentation for the OP-TEE project
PRTOS Hypervisor is a lightweight, open-source embedded hypervisor