A collection of tools for writing technical documents that mix Rocq code and prose.
Repository Index
47,133 repositories indexed
49–72 of 97 · Most stars
Fast, ad-free 60fps home screen for LG webOS TVs: frosted glass app shelf, live weather, trending picks. Open source, unrooted, no telemetry.
- ad-free
- homebrew
- launcher
- lg-tv
Overview of the electric guitar's parts specs
- guitar
- guitar-bodies
- pickup
- electronics-wiring-options
Copilot skills for building feedback loops, delegating safely, and moving repeatable work into automations.
TinkerPop graph over sql
- java
- tinkerpop
- sqlg
- postgresql
TranslatedChinese companion to the Lex Fridman Podcast: AI deep-reads, official audio & transcripts for all 506 episodes. Also includes a Chinese navigation site with the full catalog of 506 episodes, AI-powered Chinese close readings, official audio/transcripts, and full-text RSS.
- ai-translation
- chinese
- lex-fridman
- podcast
A Blazor component for choosing date ranges and dates
- blazor
- daterangepicker
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
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
A dataset, API, and parser for USDA plant hardiness zones.
- usda
- api
- plants
- farm
Supply Chain Security Research - Living Off The Pipeline tools
- lotp
- supply-chain-security
- living-off-the-pipeline
I love to teach dotnet concepts in a simple way with real world examples to people who aspire to to be a dotnet developer. I also help developers to refresh their memory with easy to understand analogy.
- dotnet
- csharp
- linq
- blazor
:heavy_dollar_sign: Vibration API Wrappers
- vibration-api
- jquery
OpenID Connect, the authentication protocol and identity layer on top of OAuth 2.0 used in many SSO and adopted in many social logins (Apple, Facebook, Google, ...etc). Find this curated list of providers, services, libraries, and resources to adopt it and know more about existing specs.
(THIS IS THE PUBLIC VERSION) Muse-by-Meta usage audit companion designed for those who want to understand Muse’s actions during a multi-step task without pretending to have telemetry they can’t actually access.Check out Muse, your personal AI agent. Code: 5F2V31 https://muse.ai/join
- meta
- metaai
- metaai-api
- metaai-download
A tool to easily create OpenStreetMap SVG maps to plot them with a pen plotter.
- map
- openstreetmap
- openstreetmap-data
- osm
Yet another pastebin
- golang
- javascript
- pastebin
- self-hosted
Connect the Loxone Miniserver to node-red via the Websocket API
- node-red
- loxone-miniserver
- websockets
- loxone
Bike Speedometer
- alpinejs
- bulma
- geolocation
- bike
nonblocking pojo mapping for document and sql databases
Generic Fritzbox node for node-RED, giving access to tr064 api
Node-RED Agent for the Siemens Insights Hub MindConnect API
- mindconnect
- nodejs
- node-red
- node-red-contrib
The repository host gives no description.
Self-hosted AI-assisted CTI-to-detection workbench for ATT&CK mapping, IOC/CVE intelligence, Threat Radar, malware triage, Attack Simulation, and SIEM validation.