Map over promises serially
Repository Index
57,637 visible repositories in the index
1,105–1,128 of 1,319 · Most stars
Self-hosted browser terminal manager for AI coding agents. Control Claude Code, Codex, Gemini, and shell sessions from your phone or browser over Tailscale.
"I am fluent in over 6 million forms of communication!"
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
- coq
- mathcomp
- 2-3-tree
- avl-tree
Cloverleaf is a free, open source app to replace your password manager without storing your passwords anywhere.
- password-manager
- password-generator
- security
- password-vault
GNATcoverage: Coverage Analysis Tool
With a clear and graphically appealing GUI you can access the system deeply, overclock the Pi or replace the entire desktop environment. Everything you need to use the Pi as a desktop computer. PiGro does many commands that have to be entered via the terminal with one or two clicks of a button.
- gui
- app-store
- gui-script
- install
☝️ go-graphql subscription over Kafka/Redis/NSQ example
LuaCov reporter for coveralls.io service
- lua
- luacov
- luacov-coveralls
- luacov-reporter
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
- coq
- mathcomp
- regular-languages
- ssreflect
Library to create Coq record update functions
Command line cross platform builder and runner for Love2D projects
- build-system
- build-tool
- love
- love2d
Collections of string utils I have created over the years
- string
- string-manipulation
- golang
- collection
Type and doc on hover for OCaml and Reason in emacs
- emacs
- ocaml
- reasonml
Make your Chromecast devices discoverable and controllable via MQTT.
- chromecast
- chromecast-device
- python
- python3
Graph Theory [maintainers=@chdoc,@damien-pous]
- coq
- graph-theory
- mathcomp
- docker-coq-action
Sticky note bookmarks for Neovim — per Git branch, with hover annotations, Telescope integration, and one-keystroke handoff to AI assistants
- neovim
- lua
- neovim-plugins
- nvim
Overhead allocators, allocator-aware containers and lifetime management for D objects
Prime numbers for Coq
- coq
- theorem-proving
- elliptic-curves
- prime-numbers
Wizard for generating and running Delphi code coverage reports
- code
- coverage-report
- delphi
A curated, opinionated collection of tools and resources dedicated to Performance Engineering, covering both Observability and Performance Testing.
Track Go benchmark performance over time by storing results in InfluxDB
A Go-based framework has been developed to oversee the execution of workflows delineated by directed acyclic graphs (DAGs).
- directed-acyclic-graph
- go
- parallel
- task
Proof of concept denial of service over TOR stress test tool