Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

25–41 of 41 · Most stars

PresenceLight is a solution to broadcast your various statuses to light bulbs.

  • phillips-hue
  • lifx
  • lifx-light
  • presence

Teaching materials for a future Foundation of Embodied AI course, with Chinese and English tutorials on robot dynamics, Isaac Sim, Isaac Lab, MuJoCo, robot learning, ROS 2, camera calibration, PPO, SAC, Flow Matching, GR00T, and SONIC.

MixMusic - Lightweight (~64MB memory usage) YouTube Music and Spotify client for macOS, Windows and Linux with Community Themes and Plugins. 100% FREE with Dual License for the app and Go packages.

  • foss
  • golang
  • high-quality-audio
  • material-design

🌈 Colour / Color conversion, interpolation, and comparison for .NET

  • colour
  • rgb
  • lab
  • oklab

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action