Randomized Property-Based Testing Plugin for Coq
Repository Index
62,272 visible repositories in the index
33,865–33,888 of 56,466 · Most stars
Self-hosted restaurant POS with tables, kitchen display, reservations, QR ordering, loyalty and local-network operation.
- casaos
- docker
- gst
- india
Receipt Wrangler application
Official library for RaBitQ vector quantization and approximate nearest-neighbor search, in C++ and Python.
- nearest-neighbor-search
- quantization
- vector-database
- vector-search
The full Markdown editing experience in neovim
TranslatedWenyan Lang for VS Code
An Elixir library for generating struct constructors that handle external data with ease.
- production
- mend-scan
Afterburner for Vulkan development; Auto-Vk is a modern C++ low-level convenience and productivity layer atop Vulkan-Hpp.
- vulkan-hpp
- vulkan
- real-time-rendering
Android layout decorators : Injecting custom attributes in layout files, Using decorators to get rid of unnecessary class explosion with custom views
Caesar III (Open source remake)
Crouton MQTT IOT Dashboard
Helpers for Elixir exceptions
- elixir
- exceptions
- exception-handler
- exception-flow
A fast software factory workflow for Claude Code: one approval gate, parallel waves, routed models
Synaplan Desktop — pair a computer with your Synaplan workspace and run Agent Skills locally (Windows, macOS, Linux)
- agent-skills
- apache2
- desktop
- tauri
An example using universal client/server routing and data in React with AWS DynamoDB
Asynchronous IO library for Common Lisp.
bash script micro-framework - from small stand-alone script to complex projects with CI/CD and testing
- bash
- bash-script
- bash-scripting
- template
A Q&A and Forum PHP platform
- phanbook
- slack
- phalcon-php
- forum
Sends stacktrace-level performance data from a JVM process to Riemann.
Hiring is extremely hard, and figuring out if someone is a good fit within 45 minutes is a demanding task. Here are some simple questions to interview potential backend candidates.
JavaScript GameBoy Advance emulator.
- javascript
- emulator
- gameboy-advance-emulator
Russian text quality for AI agents — neuroslop cleanup, typography, information style, editorial standards, UX writing, business correspondence. Scores text 0–10. 2,000+ linguistic atoms.
- claude-code
- editorial
- russian
- typography
ZenLink — Native iPhone, iPad & Android screen mirroring for Windows. 60fps on iPhone/iPad, up to 120fps on Android, H.264/H.265 hardware decode, full mouse & keyboard control, synced audio, OBS-ready capture, OCR copy (Alt+C), stealth dim. USB or Wi-Fi, no app on Android.
- airplay
- airplay-receiver
- android-mirroring
- android-to-pc
Cooperative mod for GTA: San Andreas