Skip to content
View emichael's full-sized avatar

Organizations

@UWSysLab

Block or report emichael

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Adaptive Lighting custom component for Home Assistant

Python 1,936 139 Updated Nov 11, 2024

Home Assistant Custom Component for SmartRent Locks 🔐, Thermostats 🌡, Sensors 💧 and Switches💡

Python 87 3 Updated Jul 18, 2024

A plugin for generating reports about the licenses of third party software using Gradle

Groovy 328 99 Updated Aug 15, 2024

[Development suspended] An efficient open-source postflop solver library written in Rust

Rust 245 94 Updated Jul 9, 2024
Lean 1 Updated Mar 5, 2023

Adds highly configurable buttons that use actions and per-state styling.

TypeScript 306 10 Updated Nov 8, 2024

The best and simplest free open source web page change detection, website watcher, restock monitor and notification service. Restock Monitor, change detection. Designed for simplicity - Simply moni…

Python 19,059 1,032 Updated Nov 10, 2024

Upgrade everything

Rust 3,344 160 Updated Oct 12, 2022

Packaged versions of Zotero and Juris-M for Debian-based systems

Crystal 879 32 Updated Nov 8, 2024

PROST! a Protocol Buffers implementation for the Rust Language

Rust 3,931 508 Updated Nov 1, 2024

Rewrite Rule Inference Using Equality Saturation

Rust 118 9 Updated Jun 4, 2024

userChrome.css file for a Zotero dark theme. Suggestions for improvements are welcome.

CSS 720 95 Updated Jan 26, 2024

Self-hosted audiobook and podcast server

JavaScript 6,728 474 Updated Nov 12, 2024
TLA 2 1 Updated May 25, 2022

Emoji, unicode and general character picker for rofi and rofi-likes

Python 856 48 Updated Sep 14, 2024

A tiling window manager for X11

C 9,546 778 Updated Nov 6, 2024

FlatLaf - Swing Look and Feel (with Darcula/IntelliJ themes support)

Java 3,405 270 Updated Nov 10, 2024

The hacker-friendly status_command for Sway and i3

C 2,297 182 Updated Nov 22, 2023

Debian packages for i3blocks.

Shell 7 1 Updated Jan 18, 2024

⚠ This project has migrated to codeberg.org

Python 180 21 Updated Jul 9, 2022

A $20k consensus challenge based on TigerBeetle's implementation of the pioneering Viewstamped Replication protocol.

Zig 187 8 Updated Jun 14, 2022

this repository is a read only mirror, the upstream is

C 63 64 Updated Nov 9, 2022

A free and open source chess improvement app that combines the power of Lichess and Anki.

Python 114 12 Updated May 5, 2024

List of bugs found in distributed protocols

TeX 192 7 Updated May 15, 2024

A bluetooth device tracker for raspberry pis that uses mqtt to provide presence notifications.

Python 18 6 Updated Oct 16, 2019

Library to diff and merge Java objects with ease

Java 945 178 Updated Mar 17, 2022

Listudy - chess training server

Elixir 291 45 Updated Jun 9, 2024

CLI app to turn GPX routes into hyperlapse with Google Streetview

Rust 9 1 Updated Aug 15, 2024

Pull google streetview panoramic images along a route.

JavaScript 54 12 Updated Sep 24, 2022

A friendly place for your bughouse chess needs

Svelte 8 1 Updated Jan 7, 2023
Next