C REPL

A better replacement for the ROS2 launch system: intuitive, simple, memorable.

Python Specification and Control with Temporal Logic Trees

A small, ergonomic generic container library.

A Best-of-list of Robot Simulators, re-generated weekly on Wednesdays

Mastering Zephyr Driver Development (Sample Application)

Classes and tailored optimization routines for zonotopes, constrained zonotopes, and hybrid zonotopes

Displaying code blocks with line numbers and line highlighting.

This library provides tools to perform synthesis of Linear Temporal Logic (LTL)-based Assume/Guarantee (A/G)contracts. Given a contract describing the system specification, PyCo is able to choose o…

A serial device I/O tool

micro-ROS Zephyr module and sample code

Python IntelHex library

A server that catalogs bag files and provides a web-based UI for accessing them.

n-dimensional RRT, RRT* (RRT-Star)

Get up and running with Kimi-K2.6, GLM-5.1, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

A presenter console with multi-monitor support for PDF files.

LaTeX support for Typst, powered by Rust and WASM. https://mitex-rs.github.io/mitex/

Hamilton-Jacobi reachability analysis in JAX.

An educational software system of a tiny self-compiling C compiler, a tiny self-executing RISC-V emulator, and a tiny self-hosting RISC-V hypervisor.

Odin Programming Language

A curated list of awesome tools that work within the nu language ecosystem e.g. nushell, scripts, nana, etc.

unclutter your .profile

A new type of shell

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis

CeTZ: ein Typst Zeichenpaket - A library for drawing stuff with Typst.

Template for documenting Typst Packages and Templates.

Collection of digital filters written in C++.

👻 A cross platform terminal image viewer for Neovim. Extensible and fast, written in Lua and C. Works on macOS and Linux.

An implementation of the STUN Protocol in Zig