A collection of links that cover what happened during EmberConf 2016
Repository Index
58,632 visible repositories in the index
841–864 of 1,342 · Most stars
Python Wrapper to access the Overpass API
- python
- python3
- overpass-api
- openstreetmap
Library for connecting to substrate API over WebSockets
A Library for Representing Recursive and Impure Programs in Coq
🗣 An overlay that gets your user’s voice permission and input as text in a customizable UI
- voice
- overlay
- input
- speech-to-text
TranslatedA Codex research collaboration skill set for research beginners: topic selection, literature search and reading, paper writing, natural-sounding polishing, peer review and revision, and editable academic presentations. Combined with the original Research-Starter-Kit tutorials, it advances research with 1 main entry point and 6 specialized modules. Research training, writing & editable presentations for Codex.
- academic-research
- academic-writing
- codex
- codex-skills
A local retry shim that stops Codex's "Selected model is at capacity" error from interrupting your work.
TinkerPop graph over sql
- java
- tinkerpop
- sqlg
- postgresql
GPL release of Hovertank 3D source code.
Streaming Postgres logical replication changes atleast-once over websockets
- postgresql
- logical-replication
- write-ahead-log
- websockets
RW OverlayFS for Steam Deck!
- deck
- steam
- steamdeck
- bash-script
Enhance the security of your web applications effortlessly with AWS Firewall Factory. Safeguard your valuable assets through seamless WAF deployment, updates, and staging, all centrally managed with AWS Firewall Manager.
A collection of simple programs which can generate bitcoin wallets, create and sign transactions, and send transactions over the bitcoin network.
Formal proof of the Four Color Theorem [maintainer=@ybertot]
- coq
- ssreflect
- mathcomp
- four-color-theorem
Multi platform setup for Rocq, Rocq libraries and tools
A small and customizable Neovim plugin for pretty printing the hover information from LSP servers
Overleaf CLI - pull, push, sync, compile LaTeX projects from your terminal. Git remote helper, MCP server for AI agents, and TypeScript library.
Mathematical Components compliant Analysis Library
- rocq
- analysis
- coq
- mathcomp
Tool for show test coverage in terminal for Go source files
- golang
- test-coverage
- cli
- unittest
An OTP application for auto-discovering services with Consul
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search
Plain text table generator for Ruby, with a DRY, column-based API
- ruby
- ascii-table
- terminal-table
- tty-table
Stream images from a connected camera over MQTT, view using Streamlit, record to file and sqlite
- home-automation
- mqtt
- camera
- streamlit
Composable, themeable components designed for Reflex. Extend, override, and ship without fighting the framework. Open source.
- python
- reflex
- ui-components
- web-application