An HTML documentation generator for Rocq source files
Repository Index
78,850 visible repositories in the index
24,697–24,720 of 25,447 · Most stars
Tab-local buffer navigation for Neovim. Each tab maintains its own buffer list, making bnext/bprevious cycle within that tab only.
The repository host gives no description.
Starter template for a modular application in Clean Architecture DDD style with synchronous interaction between modules within single transaction. Perfect for ERP applications.
Cite R :package: on the fly in R Markdown and Quarto
- citation
- citations
- generate
- bib
Various algorithms implementation as Swift Playground files
Cancellation propagation library for Common Lisp with deadlines and timeouts
Detect dead code with confidence via real user monitoring
- ember
- emberjs
- ember-addon
- ember-cli
An Actionscript 3 Implementation of a NTP Client Using Adobe AIR
FTP honeypot in Node.js: logs every login and command, quarantines uploaded malware, plants honeytokens in bait files. One-line Docker image.
- blue-team
- cybersecurity
- deception
- docker
Build/Runs your crystal application, watches files, and rebuilds/restarts app on file changes
A collection of Latinamerican Corpora, dictionaries to serve as resources for Text processing and Text mining.
The simple JSON parser with validation by condition
- golang
- go
- json-parsing
- validation
Code samples that showcase how to integrate the DELTACAST IP Virtual Card in conjunction with sony/nmos-cpp
- ip
- nmos
- st2110
- streaming
Powerful Menu plugin for CakePHP
- menu
- navigation
- builder
- tree
Cargo module to deploy remotely playframework application
A tool to search documentation of lisp symbols in the current lisp image.
- common-lisp
- documentation
- semantic-search
Dojo 1 - website for Dojo Toolkit 1.x to 2.x transition.
Navigation module for Play! framework
Implementation of Midi / MidiFile reading and writing
- midi
- library
- ada
⚡ Seamlessly debug Azure Functions in Neovim with automatic DAP integration
Simple bash completion script for Uno
Javascript tool to process operations on pure JSON objects
Dijkstra algorithm solution in GameMaker (Studio 2) to find shortest path in graph between two points.