Declarative configuration management for Incus

Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.

[ICLR 2024] Official implementation for "Towards Diverse Behaviors: A Benchmark for Imitation Learning with Human Demonstrations"

NMPC Multirotor Drone Flight Control

An analysis tool for Python that blurs the line between testing and type systems.

Use your Neovim like using Cursor AI IDE!

SSH to any machine without ip

Images to inference with no labeling (use foundation models to train supervised models).

Ultimate Plumber is a tool for writing Linux pipes with instant live preview

A stripped down VimWiki for Neovim

Sampling profiler for Python programs

High-performance, real-time optimized, and statically typed embedded language implemented in C.

A Hardware Hacking Tool with Web-Based CLI That Speaks Every Protocol

A version 1.1 of the Alexander Koch low cost robot arm with some small changes.

Simple creation of data classes from dictionaries.

Rigid transforms + Lie groups for JAX

Code for "SimbaV2: Hyperspherical Normalization for Scalable Deep Reinforcement Learning"

🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

The entrance repository of Markdown presentation ecosystem

Dual purpose Acrobot and Pendubot Platform

A browser-based 3D CAD application for online model design and editing

🚀 A blazingly fast, memory-safe rewrite of the classic Unix 'yes' command. Written in Rust! 🦀

SBX: Stable Baselines Jax (SB3 + Jax) RL algorithms

A python package to design and debug RL agents.

UV kernel for Jupyter

Official repository for the Automated Water Meter Reading Through Image Recognition project by Concio et al.

OpenAI Gym wrapper for the DeepMind Control Suite

The Smarthome server is the central control unit and hub in the home