A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
Repository Index
47,133 repositories indexed
265–280 of 280 · Most stars
Command line interface for working with waves RIDE language
- waves
Repository for babylon.js mcp server
Browser-based multitrack audio visualiser with synchronised playback, configurable presets and video export via ffmpeg.wasm. Shares one core with a headless CLI.
Free, browser-based MySQL & MariaDB EXPLAIN analyzer with 49 detection rules, index recommendations, and query rewrites. 100% client-side.
The Keyboard API provides keyboard display and visibility control, along with event tracking when the keyboard shows and hides.
An Aurelia plugin that enables the use of Cycle.js inside of Aurelia
ReactJS Dashboard which exposes information about your golem-providers such as # of completed tasks, etc.
- golem
- golem-network
The repository host gives no description.
A marketplace application used to provide an Icon Picker custom field.
CLI tool and library which generates types for serialized data formats.
Next-gen video platform.
- blackvideo
- extensions
- extensions-pack
- ffmpeg-wrapper
The repository not only provides users who are starting out with Content Hub ONE, Sitecore's pure headless CMS, with the assets they need to showcase the product, but also allows them to learn how it was built from a real world example.
Customizable todo app for keeping ideas
The Haptics API provides physical feedback to the user through touch or vibration.
Convert Homie MQTT devices (v3, v4 and v5) into Home Assistant MQTT discovery with robust entity mapping, granular overrides, CLI and Node.js APIs.
- cli
- device-discovery
- home-assistant
- home-assistant-discovery