Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
- coq
- mathcomp
- ssreflect
- tarjan-algorithm
Repository Index
47,133 repositories indexed
15,769–15,792 of 18,259 · Most stars
Pythonic way of keeping secrets secure in JSON
- secret-management
- secret-in-json
- json-parser
- python
The repository host gives no description.
nvim-yt-player is a Neovim plugin for playing YouTube audio directly from Neovim using mpv + yt-dlp via IPC socket. Features include a premium ASCII visualizer UI, interactive search picker, queue editor, SponsorBlock integration, and full playback controls.
German version of SimpleNLG 4
- natural-language
- java
- nlg
- simplenlg
Learn what the Event Gateway is, how it works and build your first event-driven multi-cloud application!
- serverless
- serverless-framework
- event-gateway
Progress bars, just like in quicklisp!
A low-interaction SSH honeypot written in C
:fire: Canvas based HTML5 game where a player has to extinguish fire on trees using his magical water tank in order to save the Burning Forest.
A very simple wrapper around cascading.hbase for use in Cascalog
This CDK Construct helps create IAM Managed Policies and IAM Roles using JSON Configuration
Wicket drag-and-drop
ChatGPT cross-platform client made with the Quasar Framework
Simple exercise loader & generators for substack/adventure.
TML Object Pascal Components
dORModel is an ORM for Delphi, based on models and object fields. LINQ support, fully typed and compile time checks.
The repository host gives no description.
GS1-128, GS1-DataMatrix, QR Code, EAN and more. Generates PDF, EPS, SVG, PNG images.
- barcode
- datamatrix
- java
- image
Turn-based strategy game
- game
- phaser3
- phaserjs
- strategy
Neovim plugin to search text in floating window asynchronously
⚡️ Warp is a lightweight project-local file list for Neovim — add, view, jump, reorder, and remove files, all from a floating window or a keymap away.
- harpoon
- harpoon-api
- neovim
- neovim-plugin
Lightweight and easy to use the library for modals
- modal
- dialog
- popup
- a11y
Offline caching as a progressive enhancement using service workers
Capacitor plugin to prompt to display dialog for saving password to keychain for iOS webview app.