Popular repositories Loading

1. lovelace-24h-time-input-row lovelace-24h-time-input-row Public

   A custom Home Assistant card to set time of a datetime entity in 24 hour format.

   JavaScript 1

2. coq-list-solver coq-list-solver Public

   A sovler for theorems about lists implemented in Coq

   HTML

3. pid-aw-rs pid-aw-rs Public

   Forked from braincore/pid-rs

   A PID controller for Rust projects, with more anti-windup options.

   Rust

4. garmin-ha-todo-widget garmin-ha-todo-widget Public

   Garmin Connect IQ widget to view and manage a Home Assistant todo/shopping list from your watch.

   Monkey C

5. brewkettle-controllercase brewkettle-controllercase Public

   OpenSCAD

6. plugins plugins Public

   Forked from opnsense/plugins

   OPNsense plugin collection

   PHP