Sticky note bookmarks for Neovim — per Git branch, with hover annotations, Telescope integration, and one-keystroke handoff to AI assistants
- neovim
- lua
- neovim-plugins
- nvim
64,764 visible repositories in the index
48,049–48,072 of 58,676 · Most stars
Sticky note bookmarks for Neovim — per Git branch, with hover annotations, Telescope integration, and one-keystroke handoff to AI assistants
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Neumorphism framework for UIKit.
CakePHP plugin for maintaining a contiguous sequence of records
Live theme switching for Zed in Omarchy
AIRKinect 2.0 AIR Examples
Example repository for GitHub Actions Time of Check to Time of Use (TOCTOU vulnerabilities)
Debug menu for happy android dev
Capacitor plugin to run LLM models locally in IOS and Android, support AppleInteligence
A starter project on Meteor with React
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
DB schema as code tool
Renderer for the Ricardian Contract specification
The repository host gives no description.
Fast & easy-to-use A* module written in Lua
Displays automatic scale bars for projected geospatial data.
The repository host gives no description.
Flappy Race is an open source multiplayer game inspired by Flappy Bird and Mario Kart, created with Godot.
A game engine with multiple backends, written in V
Contrastive Explanation (Foil Trees), developed at TNO/Utrecht University
A SIP monitoring script that publishes incoming calls with CallerID to an MQTT channel
Community-maintained C# SDK for PocketBase
Error Prone extensions: extra bug checkers and a large battery of Refaster rules.
A blessed fixed greased +3 terminal library