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
5,137–5,160 of 5,701 · Most stars
A library for creating interactive command-line applications.
🔑 A godot gdextension to interact with the OS keyring
- godot
- godot-addons
- godot4
- godotengine
Dynatomic is a library for using dynamodb as an atomic counter
- golang
- dynamodb
- atomic
- counter
CakePHP helper library for Htmx
- cakephp
- cakephp-plugin
- htmx
- ajax
Generate inteligent customisable markdown TOC with affordances for emojis and relative file paths.
WhiteGold — Light and elegance intertwined for omarchy.org
- archlinux
- omarchy
- omarchy-theme
- ricing
Base class for the GameMaker Exceptions providing better output and handy code interface. Also imroves YYC support of Exceptions.
- exception
- exception-handler
- exception-handling
- exception-messages
Official implementation of JAMIE, Joint variational Autoencoders for Multimodal Imputation and Embedding
- autoencoder
- imputation
- integration
- multimodal
Internet-of-Things made easy
The repository host gives no description.
- actionscript
- augmented-reality
- flash
🤔📈 Atlas | The unified report library.
- atlas
- documentation-database
- business-intelligence
- library
Implementation of a brainfuck interpreter written for the Game Boy.
A CakePHP plugin to manage translations of your static content the easy way via web backend.
Internet Archive's Sparkling Data Processing Library
Generate realistic IoT test data and send it via MQTT, HTTP, or TCP.
- cli
- data
- data-generation
- data-generator
Tmux utilities that enable sending lines, capturing content, creating terminals, and managing REPLs within Neovim.
- lua
- neovim
- neovim-plugin
- tmux
Neovim plugin for automaticaly passing extra context for LLM on code snippet copy to clipboard
A simple interactive shell for MQTT, using Spring Shell and Eclipse Paho
polkawallet SDK for integrating substrate-based blockchain as a plugin.
Julia interface to quarto-cli
A lightweight text user interface library in Crystal
- tui
- crystal
- demo
- mud
☄ Steam OpenID integration for Meteor Accounts
- meteor-accounts
- meteor
- steam
- steam-openid
Simple MQTT Client.
- mqtt
- client
- mqtt-client
- python