Doorsign with E-Paper-Display with ESP32. Loading images from webserver.
- php
- c-plus-plus
- esp32-arduino
- esp32
Repository Index
47,133 repositories indexed
4,777–4,800 of 6,207 · Most stars
High level commands to declare a hierarchy based on packed classes
- mathcomp
- coq
- elpi
Nosis is a lightweight personal agent runtime: per-session execution boundaries with OS-level sandboxing, computer use, a full built-in toolset, Skill / Plugin / MCP extensions, one runtime shared by GUI and TUI, and file-persisted sessions, plans, and memory.
- agent-framework
- agent-runtime
- agent-skills
- ai-agent
Replication package of the paper titled "How do you Architect your Robots? State of the Practice and Guidelines for ROS-based Systems" published at ICSE-SEIP 2020
TMX is a modern desktop terminal client for SSH workflows, built on Electron + React. It bundles a real persistent terminal (node-pty / ssh2 / xterm.js), a host manager, SFTP, snippets, an AI copilot and a built-in MCP server into a single cross-platform app (macOS / Windows / Linux).
Use PanGesture to dismiss view on UIViewController and UIView
- pangesture
- dismiss
- dismissible
- uiviewcontroller
Quickly move between next and previous NeoVim buffer, tab, file, quickfix, diagnostic, etc.
basically a remarkable framework for building JSON-based web APIs in Golang
Run your tests inside nvim in split window or popup with live feedback
- go
- golang
- lua
- neovim
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
equity research and financial analysis
The web app builder for Rails (moved from tablatom/hobo)
TakaTime is a blazingly fast, privacy-first coding activity tracker and the open-source, self-hosted alternative to WakaTime. Track your development activity across Neovim, VS Code, JetBrains IDEs, and Antigravity while generating rich analytics, beautiful dashboards, and GitHub profile statistics—all powered by your own MongoDB database.
- github-actions
- golang
- lua
- neovim
A fully typed, lightweight, and customizable terminal emulator component for Svelte 5. Features a virtual file system, custom commands, themes, and autoplay mode for demos. 🚀
ZoneTree.FullTextSearch is an open-source library that extends ZoneTree to provide efficient full-text search capabilities. It offers a fast, embedded search engine suitable for applications that require high performance and do not rely on external databases.
Create play application for Google App Engine
User-friendly framework for building your dream tabline in a few lines of code.
Inquiries extension for Refinery CMS
A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.
- common-lisp
- eiffel
- postcondition
- preconditions
Translated2026 VPN and Proxy Subscription Recommendation Guide
- clash
- proxy
- shadowrocket
- sing-box
Syntactic Sugar for Accelerate/vImage and Core Image Filters
Transpile Golang into Arduino code to use fully automated testing at your IoT projects.
- go
- golang
- arduino
- transpiler
IsoHill is a new isometric engine for Flash Player 11 [molehill] built on top of the open 2D framework Starling. Features: Plugins - engine-wide modifications, Includes a TMX [CVS export] parser, Components - dynamic logic can be added and removed from IsoSprites, Virtually unlimited layers, Anti-aliasing of isometric tiles, deterministic framework, Mipmapping, and under BSD license
A library designed to generate cryptographically strong random numbers suitable for managing data such as passwords, account authentication, security tokens, and related secrets.