A formalization of geometry in Coq based on Tarski's axiom system
Repository Index
47,133 repositories indexed
145–168 of 276 · Most stars
Philips Hue nodes for Node-RED to control bridges, lights, groups, scenes, rules, automations, switches, dials, buttons, doorbells, speakers, motion & contact sensors, cameras, temperature & light level sensors and the Hue Play HDMI Sync Box — CLIP/v2 API, Hue Bridge Pro & MotionAware support.
- home-automation
- philips-hue
- node-red
Run a query in psql and output the result as CSV.
The repository host gives no description.
Build real-time Blazor and MAUI apps while writing just 0.1% of the usual real-time update code. Handle 10× more API requests with the ActualLab.Rpc protocol—or 1000× more with Fusion’s transparent and perfectly coherent caching.
Redux toolset for keeping all the side effects inside your reducers while maintaining their purity.
Control your KNX intallation via Node-Red! A bunch of KNX nodes, with integrated Philips HUE control and ETS group address importer.
- node-red
- knx
- eib
- konnex
Cover your Mac's screen with a hotkey while AI agents keep running, even with the lid closed. The covered screen glows when Claude Code, Codex or Gemini needs you. Touch ID unlock.
Use this sample when creating a simple pipeline in AWS CodePipeline while following the Simple Pipeline Walkthrough tutorial. http://docs.aws.amazon.com/codepipeline/latest/userguide/getting-started-w.html
The Ink language parser and runtime implementation in Lua
- ink
- lua
- narrative
- interactive-fiction
An open source, cross-platform game engine designed for indie developers.
- chillisource-game-engine
- 2d-game-engine
- 3d-game-engine
- cpp11
Go middleware for monetizing your API on a per-request basis with Bitcoin and Lightning ⚡️
- go
- golang
- middleware
- micropayments
Safari extension that injects custom CSS and JS files based on page host.
User-oriented fork of LLVM's opt-viewer
Dreamento (DReam ENgenieering TOolbox): a Python-based software for dream engineering while monitoring/analyzing real-time EEG data.
- automatic-sleep-analysis
- dream
- eeg-analysis
- lucid-dreaming
A frontend framework for chillout-mode development 🥤 JSX components on generators*, fast mobx-like state management and exclusive cssx style system
- state-management
- framework
- typescipt
- jsx
GasPot originally released at Blackhat 2015 - Updated for the same stuff 2026
A simple Linear Progress Bar for IOS (Swift 3.0), inspired by Material Design
Collection of helpful gemini cli extensions and commands
:evergreen_tree: Python module for communicating with the Taiga API
- taiga
- python
- rest
- hacktoberfest
Key-Value Coding (KVC) for native Swift classes and structs
House Control on Android phones and tablets: your home as a live 3D model — lights, ACs and scenes via Smart Life, Home Assistant and Philips Hue. No Mac needed.
- android
- android-widget
- home-assistant
- home-automation
A playable HTML + CSS + JavaScript remake of a space-based "shoot-'em-up" arcade game for Atari / Commodore 64 from 1982, including a level editor and design tool. Written as a prototype / demo of JavaScript and browser capabilities.
EasyDocker is a TUI focused on investigating and troubleshooting Docker resources. Highly inspired by lazydocker and k9s while leveraging beautiful graphics from BubbleTea