47,133 repositories indexed
145–168 of 1,038 · Most stars
🔧 pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast and scales from one server to thousands.
👑 The all-in-one macOS menu bar companion: customizable controls, system monitor, AI Agent, Shortcuts, widgets, remote control, and more.
A Rails engine that helps you put together a super-flexible admin dashboard.
HTPC/Homelab Services Organizer - Written in PHP
Universal API for request permission and get its statuses.
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
comment engine
An implementation of tap targets from the Material Design guidelines for feature discovery.
OctoLinker — Links together, what belongs together
A clean, Markdown-based publishing platform made for writers. Write together and build a community.
InheritedWidgets, but simple
A gradle plugin for getting java lambda support in java 6, 7 and android
Brings SQL and AI together.
⛔️ DEPRECATED - Boilerplate for getting started with MERN stack
MQTTnet is a high performance .NET library for MQTT based communication. It provides a MQTT client and a MQTT server (broker). The implementation is based on the documentation from http://mqtt.org/.
The HTML touch slider carousel with the most native feeling you will get.
The best C# command line parser that brings standardized *nix getopt style, for .NET. Includes F# support
JSONExport is a desktop application for Mac OS X which enables you to export JSON objects as model classes with their associated constructors, utility methods, setters and getters in your favorite language.
YouTube (Video) Browser-Extension. [Top1 FOSS.] Enrich your experience & choice! 🧰Smart features📌set & forget📌100s of tweaks. Longest-standing. Join🧩us?👨👩👧👧 ⋮ ⋮ ⋮ ⋮ ⋮ {playback|discovery|extra player buttons|quality|codec|full tab|full screen|no distraction|shorts}
Open platform to collect and prioritize feedback
This tool lets you search your gadgets on your binaries to facilitate your ROP exploitation. ROPgadget supports ELF, PE and Mach-O format on x86, x64, ARM, ARM64, PowerPC, SPARC, MIPS, RISC-V 64, and RISC-V Compressed architectures.
A utility for mocking out the Python Requests library.
Anti-laziness skill for AI agents. Core: the Depth Tree method, which splits a task N layers deep and gives every leaf the full time budget of the whole task, so effort multiplies with depth. Grounded in 2025-2026 research on model laziness, underthinking and premature completion.
A cross platform package to do curses-like operations, plus higher level APIs and widgets to create text UIs and ASCII art animations