![](/uploads/-/system/projects/topic/avatar/249/plugin.png?width=64)
plugin
Projects with this topic
-
A now defunct plugin for BetterDiscord. Provides end-to-end secure messaging & file encryption for Discord using various cryptography standards.
Archived 49Updated -
Plugin for creating 3D Regular Grid Map in Unity. Permit to create and modify with a custom editor and apply procedural modifications on it. Also handle gameplay support for grid logic in game.
Archived 3Updated -
Provide gitgutter symbols for dirvish buffers
Archived 1Updated -
Plugin for Grav to parse synthesia metadata files (XML) and add them to page attributes
Archived 0Updated -
mirrored from GitHub.com/JOSM/geojson
Archived 0Updated -
Handbook for PixRail Metro collaborators and members
Archived 0Updated -
-
Official Rubicon interface to create plugins.
Icon by https://icons8.com
Archived 1Updated -
-
Replies when the bot got mentioned.
Icon by https://discordemoji.com
Archived 0Updated -
Ejercicios ya resueltos de jquery con los que he practicado durante mis estudios y los comparto para que puedas utilizarlo como base.
Archived 1Updated -
Atom plugin for formating code
Archived 0Updated -
Menú de opciones discreto y fijo. Posiciona una imagen en una esquina que al pulsar mostrará un menú personalizable con enlaces.
Archived 1Updated -
Plugin JQuery que genera en el lateral izquierdo de la pantalla una barra de menú con los nombres, enlaces y las imágenes que se les pasan.
Archived 1Updated -
Old Plugin for an old server
Archived 0Updated -
Plugin réalisé avec NeutronStars lors du tournoi organisé sur GravenCommunity
Archived 0Updated -