A generic goal preprocessing tool for proof automation tactics in Coq
Repository Index
47,133 repositories indexed
40,201–40,224 of 46,374 · Most stars
Tool for executing transactions on the Ripple network
A screenshotting tool for thinking clearly
A sokoban-like game on steroids
A library for creating interactive command-line applications.
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.
🔑 A godot gdextension to interact with the OS keyring
- godot
- godot-addons
- godot4
- godotengine
Abstraction layer for simple rabbitMQ connection, messaging and administration
extendable non blocking DNS for crystal lang
BDD framework for xUnit.net
In-memory WebExtensions API Fake Implementation for testing purposes
React Redux Isomorphic Webpack 2 Boilerplate based on ant.design
Navigate between sibling nodes in your Neovim powered by Tree-sitter
Go package that encodes and decodes INI-files
- golang
- ini
- encoder
- decoder
Strongly typed Razor Page Route Generator (also works with Blazor)
The anaphoric macro collection for Elixir
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.
High-level performant CSV encoding and decoding library
- csv
- csv-export
- csv-import
- csv-parser
A Neovim plugin to quickly switch a word under the cursor or a pattern in the current line.
GML VM and Compiler built inside of GML with the long term goal to be able to compile any project folder.
Extracts an audio stream from a media file.
- ffmpeg
- fluent-ffmpeg