Repository Index

Brew formula generator for common lisp projects

A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

• coq
• vst
• compcert
• graph-algorithms

A fluent take on serializer libraries

• dotnet
• json
• xml
• hacktoberfest

Professional botanical cultivation database with AI-powered plant insights

• agriculture
• botanical-classification
• botanical-research
• botany

Simple PowerToys Run experimental plugin for quickly open GitKraken repositories

• gitkraken
• microsoft-powertoys
• powertoys
• powertoys-run

user-friendly visual canvas for creating chatbots powered by OpenAI APIs with no-code

• openai
• prompt
• prompt-engineering
• reactflow

Guri - Slackbot command handler powered by Elixir

A decky-loader plugin to automatically notify and suspend your steamdeck on low power.

A package for reading courses (*.cdt) from Super Mario Maker game

• json
• mario-maker
• nodejs
• javascript

A Vert.x-powered asynchronous multithreaded web server with simple annotation-based configuration of routes

MicroPython module for work with SCD4x (SCD40, SCD41) low power CO2, temperature & humidity electroacoustic sensor from Sensirion.

• micropython
• co2
• humidity
• sensor

Ruby client for interacting with the NASA (POWER) Agroclimatology Web Resource

• solar-radiation
• nasa
• agriculture
• ruby

A Framer module for creating powerful Mapbox maps in your prototypes.

These dotnet new templates simplify creating PowerToys Run plugin projects and solutions.

• microsoft-powertoys
• plugin
• plugins
• powertoys

Go library for http://www.brewerydb.com/ API

An easy and powerful bookmark manager with telescope

• neovim-plugin

A powerful and easy-to-use PHP SDK for the Mistral AI API, allowing seamless integration of advanced AI-powered features into your PHP projects.

• ai
• api
• api-client
• api-wrapper

Solution based on either Powershell or Power Automate (Flow) to consume the recently released Power BI Asynchronous Unified Scanning API

• powershell
• powerbi
• pbi
• powerautomate

A Neovim plugin for seamless integration with Joplin, the open-source note-taking and to-do application. This plugin allows you to manage your Joplin notes and notebooks directly from Neovim, providing a powerful and efficient workflow for developers and writers who love both applications.

Simple but powerful todo manager based on text.

• neovim
• todo
• plugin

PowerToys Run: Hotkeys Plugin. Find and copy keyboard shortcuts for any application directly in PowerToys Run.

• hotkeys
• plugin
• powertoys
• powertoys-run-plugin

Modular Macro-powered Particle System for haxe

• particles
• particle-system
• modular
• haxe

An SF Symbols Viewer for Swift Playgrounds on iPadOS

• ipad
• swift
• swift-playgrounds
• playground

Minimalistic, high-powered Preact boilerplate