A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
- coq
- library
- programming
- coq-platform
Repository Index
47,133 repositories indexed
9,457–9,480 of 14,002 · Most stars
NeoArch Package Manager for Arch Linux,endeavouros and Arch based distos — multi-source GUI (pacman, AUR, Flatpak, npm, pipx)
A free, public vulnerability feed: CVE, GHSA, OSV, CISA KEV and EPSS merged into one entry per vulnerability. RSS, JSON API and MCP. Docs and issues only.
Python library for handling audio datasets.
- audio
- speech-recognition
- corpus-tools
- dataset-manager
zikojs is a javascript library with a focus on making coding effortless .
- javascript
- math
- ui
- zikojs
Blazing fast GraphQL discovery & fingerprinting toolbox.
- discovery
- fingerprinting
- graphql
- graphql-tools
macOS menu-bar app for fine-grained VPN routing: bypass the VPN for chosen domains/services, force others through it, or (Custom mode) route each domain/subnet out a specific egress — direct, a specific VPN, an HTTP/SOCKS5 proxy, or a Tailscale peer. Includes a vpnb CLI.
- macos
- menu-bar-app
- networking
- split-tunneling
Simulador de Azure para aprender DevOps sin cuenta ni costes: portal, Cloud Shell, Azure DevOps y una academia de 13 niveles con 47 laboratorios que se validan solos.
Open-source AI alternative to Buffer and Opus Clip: Claude Code makes on-brand videos, posts them to 9 platforms and drafts replies. Self-hosted, your own keys.
LUIS (Love2D UI System) is a flexible graphical user interface (GUI) framework built on top of the Löve2D game framework. LUIS provides developers with the tools to create dynamic, grid-centric, layered user interfaces for games and applications.
Transforms notifications from the Postgres LISTEN/NOTIFY mechanism into callback execution
Persistent sorted maps and sets with log-time rank queries
Notify users when a new version of your Android app is available, and prompt them with the Play Store link. A port of the iOS library of the same name.
- android
- version-check
- siren
- notify-users
"shuffle-text" is JavaScript text effect library such as cool legacy of Flash.
- javascript
- typescript
- effects
- html5
iBeacon advertising and scanning in a Titanium module
Deli is an easy-to-use Dependency Injection(DI).
- automatically
- command-line
- swift
- dependency-injection
Implementation of Jos Stam's Real-Time Fluid Dynamics for Games paper using javascript as a playground for learning the WebGPU API.
A mysqldump anonymizer
- mysqldump
- anonymizer
- database-anonymizer
- rgpd
3D kedi ofisi: Claude Code ajanlarını tek ekranda izle. İş gelince uyanır, boşta 0 token.
Scans SPF and DMARC records for issues that could allow email spoofing.
Open-source agentic security operations platform:
- agentic-security
- cyber-security
- cyber-threat-intelligence
- cybersecurity
S3FS-C is a FUSE (File System in User Space) based file system backed by Amazon S3 storage buckets. Once mounted, S3 can be used just like it was a local file system. This project was forked from S3FS (http://code.google.com/p/s3fs/) release 1.59 and being rewritten to be compatible with other S3 clients such as s3cmd, AWS Management Console, etc.
HorneroConfig is a comprehensive dotfiles framework, tailored for seamless customization of diverse window management setups across various operating systems. Just like the skilled hornero bird meticulously shapes its nest, HorneroConfig empowers you to craft a digital environment that's robust, uniquely yours, and beautifully organized!
A anti-censorship HTTP proxy with builtin shadowsocks support.
- proxy
- http-proxy
- shadowsocks
- gfwlist