Repository Index

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

Neovim plugin for IWE — markdown notes with LSP: search, backlinks, extract/inline refactoring, knowledge-graph navigation

• iwe
• markdown
• neovim-plugin
• nvim

A component based game engine for AS3. Master version is currently 0.4.3. Please note, the dev branch is currently under heavy development for 0.5 and should be considered unstable. There will be a few breaking changes.

Plugin component for PlayCanvas which enables support for Spine animations.

• webgl
• spine
• playcanvas
• html5

SonarQube plugin for Groovy

An RQT plugin for hierarchical launchfile configuration introspection.

Mild colorscheme for Neovim

• neovim-colorscheme
• neovim-plugin

Refinery CMS engine to manage copywriting, application wide or per pages with i18n.

Apache JMeter plugin for load testing HLS and MPEG-DASH video streams. Simulates adaptive bitrate playback, manifest/segment downloads, and live or VOD streaming.

• apache-jmeter
• blazemeter
• hls
• jmeter

Capacitor plugin that allows camera interaction from Javascript and HTML

• capacitor
• capacitor-plugin
• ionic

Haxe Physics Engine (Haxe 4 compatible fork)

D3 plugin which computes a 'beeswarm' arrangement

• d3js
• dataviz
• part-to-whole

A customizable Neovim plugin to run code inside the editor

• code-runner
• lua
• neovim
• telescope

Zero-overhead eBPF process tracer for Linux malware triage and incident response. Traces syscalls, network, and file events per-process without strace overhead.

• bpf
• ebpf
• forensics
• golang

Validator for the Brain Imaging Data Structure

• bids
• data-standards
• neuroimaging-data
• validation

Fast and storage-efficient spatial database engine for OpenStreetMap data

• database
• geodesk
• geospatial
• openstreetmap

cTaskDialog (TaskDialogIndirect implementation) universally compatible with VB6/VBA7/twinBASIC x86/x64

• common-controls
• taskdialog
• twinbasic
• vb6

Open Source logging library for Delphi

• delphi
• pascal
• logging
• delphi-library

CoffeeLint plugin for gulp.

Open-source streaming SQL engine written in Rust using Apache Arrow and DataFusion. Supports continuous queries, temporal stream joins, tumbling/session windows, and CDC/Kafka connectors. Lightweight, embeddable, and sub-microsecond latency

Firebase Cloud Messaging for application servers implemented using the Go programming language.

• firebase
• fcm
• firebase-cloud-messaging

A plugin to add "register" and "unregister" capabilities to Vagrant guests.

A lightweight and extensible calendar plugin for Neovim.

• neovim-plugin

A CakePHP plugin which allows you to authenticate using social providers like Facebook/Google/Twitter.

• cakephp-plugin
• social-providers
• middleware
• php