Repository Index

Remove then revert (IROS 2020)

A control plane so parallel coding agents stop fighting over the same simulator.

• agents
• emulators
• simulators

Direct Upload to Amazon S3 With CORS

The management of multiple apps running over different ports made easy

• proxy
• tools
• golang
• proxy-server

Embedded transactional database for blobs, documents & graphs, with kernel-bypass NVMe through io_uring & SPDK, GPU compaction, and one C ABI over its own, RocksDB & LevelDB engines 🗄️

• acid
• database
• key-value-store
• document-database

Swifty wrapper over UIViewPropertyAnimator

• swift
• ios
• animation

🚨 Design workflows of slog handlers: pipeline, middleware, fanout, routing, failover, load balancing...

• go
• golang
• slog
• handler

Microservices library - scalecube-services is a high throughput, low latency reactive microservices library built to scale. It features: API-Gateways, service-discovery, service-load-balancing, the architecture supports plug-and-play service communication modules and features. built to provide performance and low-latency real-time stream-processing

• microservices
• reactive-streams
• distributed-systems
• service-mesh

Override the Holo EdgeEffect colors

A framework for formally verifying distributed systems implementations in Coq

• verdi
• coq
• coq-library
• proof

JSON-RPC 2.0 implementation over WebSockets for Node.js and JavaScript/TypeScript

• rpc-api
• rpc-framework
• rpc-client
• rpc-server

SwiftOverlays is a Swift GUI library for displaying various popups and notifications

• notifications
• swiftoverlays
• cocoapods
• swift

Boiler plate template for C++ projects, with CMake, Doctest, Travis CI, Appveyor, Github Actions and coverage reports.

• boilerplate
• cpp
• coveralls
• travis-ci

Neovim support for the Lean theorem prover

• leanprover
• neovim
• neovim-plugin
• lean

Music discovery tool that provides recommendations based on selected Lidarr artists, using Spotify or LastFM.

A lightweight ClojureScript abstraction over ReactJS

Self-hosted API-first AI call center: AI talks, code controls the call. AI agents answer every call; humans take over without dropping it. Runs on FreeSWITCH with your SIP trunk and realtime model (OpenAI, Grok, Qwen, Doubao, or any compatible gateway).

• call-center
• contact-center
• freeswitch
• golang

TranslatedGEO Doctor: install it into your AI assistant with one sentence, find out why Doubao, DeepSeek, ChatGPT, and Claude don't recommend you, then fix your profile information, write content, and re-check. An open-source bilingual (Chinese and English) GEO (Generative Engine Optimization) skill.

• ai-search
• generative-engine-optimization
• geo
• seo

TEA for Bucklescript

• bucklescript
• bucklescript-tea
• ocaml
• elm-architecture

Airpass - status bar Mac app to overcome time constrained WiFi networks.

✅ List of Automated Testing (TDD/BDD/ATDD/SBE) Tools and Frameworks for .NET

• tdd
• test-driven-development
• dotnet
• atdd

Terminal calculator made for programmers working with multiple number representations, sizes, and overall close to the bits

• calculator
• c
• ncurses
• terminal

Translated📝 Go configuration manage(load,get,set,export). support JSON, YAML, TOML, Properties, INI, HCL, ENV and Flags. Multi file load, data override merge, parse ENV var. Go application configuration loading and management, supporting multiple formats, multi-file loading, remote file loading, data merging, and parsing of environment variable names

• config
• config-management
• json
• yaml

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

• coq
• metaprogramming
• coq-formalization
• rocq