Repository Index

Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]

• coq
• mustache-templates
• continuous-integration

Dynatomic is a library for using dynamodb as an atomic counter

• golang
• dynamodb
• atomic
• counter

TranslatedC++ API for Polkadot.

Tour users through your Vorpal app

Generate conventional commit messages using AI, directly in Neovim

• ai
• conventional-commits
• developer-tools
• git

:package: :mailbox_with_no_mail: It's the C++ Package Manager Manager

• package-manager
• dependency-manager
• c
• cpp

Generate inteligent customisable markdown TOC with affordances for emojis and relative file paths.

• github
• markdown
• neovim
• neovim-plugin

A RAD Studio IDE plug-in to display notifications of various operations in the IDE as they occur.

Split large SQL dump files into individual table files. Fast, memory-efficient, multi-dialect.

• cli
• database
• devtools
• mysql

The repository host gives no description.

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!

• automation
• lua
• neovim
• neovim-plugin

Copy of https://code.google.com/archive/p/bauglir-websocket/

• pascal
• pascal-language
• freepascal
• lazarus

Strike plugin for BTCPayServer

• bitcoin
• btcpay
• btcpayserver
• lightning-network

:mailbox_with_mail: Alternative Mail target for NLog using MailKit

• nlog
• mail
• net-core
• mailkit

The Couchbase SDK for CFML

Practice recognizing chords in this Rust/Yew/Webassembly app

• yew
• music-theory
• music-notation
• wasm

A light spiritual succesor to neon-animated-pages using only css animations

• web-components
• javascript
• js
• css

Display Youtube metrics using Google API and MicroPython

• esp32
• micropython
• micropython-esp32
• tft

easy to use web app to capture and visualize HTTP requests, built with Phoenix Liveview

• elixir
• phoenix
• phoenix-framework
• phoenix-liveview

🤔📈 Atlas | The unified report library.

• atlas
• documentation-database
• business-intelligence
• library

:house: - A bunch of mosquittos. IoT wiring and notification framework, with an unix style.

• iot
• home-automation
• domoticz
• raspberry-pi

The repository host gives no description.

A basic UI-clone of Instagram using Elm

Using LESS CSS to develop a media query driven solution for modern and legacy browsers