Repository Index

Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]

• coq
• ide
• user-interface
• vscode-extension

Dumb automatic fast indentation detection for Neovim written in Lua

• neovim-plugin
• neovim
• neovim-lua

Protect your SIP Servers from bad actors at https://sentrypeer.org

• sip
• voip
• security-tools
• honeypot

A collection of std-like single-header C++ libraries

• cpp
• collection
• flat-map
• static-vector

A fast to develop, fast to run, Go based toolkit for ETL and feature extraction on Hadoop.

Nice category that adds the ability to set the retry interval, retry count and progressiveness.

• afnetworking
• objective-c
• cocoapods
• ios

Collection of Swift-extensions to boost development process.

• extensions
• awesome
• awesome-swift
• open-source

AZSafariCollectionViewLayout is replica of safari browser history page layout. very easy to use, IBInspectable are given for easy integration

Postgres clone schema utility without need of going outside of database. Makes developers life easy by running single function to clone schema with all objects. It is very handy on Postgres RDS. Utility is sponsored by http://elephas.io/

:book: Practical examples in Elm

• elm
• architecture
• seed

ASH Viewer provides a graphical view of active session history data within the Oracle and PostgreSQL DB

• postgresql
• gui
• data-visualization
• oracle

Charting library suitable for interactive F# scripting

DoctorGPT brings GPT into production for application log error diagnosing!

• application
• chatgpt
• diagnosis
• diagnostics

Lua module for delaying function calls

Generate your eslint rule with OpenAI and Vercel Edge Functions.

Experimental native Tears of the Kingdom port for macOS and iOS.

ROS package of helper functions related to bringing up roslaunch on system startup.

Library to help Flash, Flex and ActionScript clients connect to Socket.IO servers.

Functional Concurrency Primitives

• concurrency
• software-transactional-memory
• synchronization
• lock

Spoke is an open source text-distribution tool for organizations to mobilize supporters and members into action

Boost your "productivity" to the max! A fun project made for slackers by slackers.

• shell
• command-line
• productivity
• work

ActiveRecord Sharding Plugin

• activerecord
• ruby
• sharding
• rails

A lightweight, efficient Ruby gem for interacting with Whatsapp Cloud API.

• ruby
• ruby-gem
• whatsapp
• whatsapp-api

A collection of extensions tools for SVG files, integrated into Microsoft Windows Explorer (for Windows 10 and 11) and a useful SVG Text Editor

• windows
• shell-extension
• preview-pane
• thumbnail-ha