Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
Repository Index
47,133 repositories indexed
12,385–12,408 of 13,876 · Most stars
Micropython ST7789 display driver for TTGO T-Display ESP32 CP2104 WiFi Bluetooth Module 1.14 Inch LCD
Hooks extension point mechanism (as known, e.g., from GNU Emacs)
This plugin provides native InfluxDB instrumentation for monitoring and metrics collection, including: service health via `/ping`, running queries, and service metrics.
Abstraction layer for simple rabbitMQ connection, messaging and administration
React Redux Isomorphic Webpack 2 Boilerplate based on ant.design
Amberbyte: a modern, animated, and minimal Omarchy theme with a sleek reddish ninja-inspired look.
A terrible terrible soft-keyboard that randomises keys on every press.
A Razor Class Library providing access to Spotify APIs for Blazor WebAssembly apps.
MicroPython SPI Driver for ILI934X Series Based TFT / LCD Displays
Dynatomic is a library for using dynamodb as an atomic counter
- golang
- dynamodb
- atomic
- counter
The repository host gives no description.
Command line based todo list manager
Generate inteligent customisable markdown TOC with affordances for emojis and relative file paths.
A RAD Studio IDE plug-in to display notifications of various operations in the IDE as they occur.
A Node Red node to persist data over Node Red restarts.
- node-red
📡 RasComm is a communication device that translates plain text into Morse code (IMC) visually or audibly.
- raspberry-pi-3
- morse-code
- morse-translator
- audio
Square Inch Synthesizer
Include code from external files into your shaders.
this is an upgrated version of the Sound Manager Class from Matt Przybylski. See http://evolve.reintroducing.com/2011/01/06/as3/as3-soundmanager-v1-4/
experimenting with web monetisation API
- video
- pay
- javascript
- register
Yet another implementation of PEiD with yara
- binary-analysis
- yara
- yara-rules
- peid
Too lazy for write "pip install -r requirements.txt", or "cargo add ...".. or maybe.. "luarocks install .." and writing it to requirements file? This plugin for you!
Ideas, tricks, materials with puzzles for AIs and some wetware