A GitHub Action to track code coverage in your pull requests, with a beautiful HTML preview, for free.
- coverage
- coverage-report
- go
- golang
Repository Index
57,138 visible repositories in the index
1,177–1,200 of 1,307 · Most stars
A flexible Framer Module that creates a grid overlay on top of your prototype.
view the data bound to a D3.js project simply by mousing over elements
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
Generic Task behavior that helps encapsulate errors and recover from them in classic GenStage workers.
- elixir-lang
- elixir
- hex
- package
A collection of resources covering all aspects of Tsung usage for load testing.
- tsung
- tsung-plugin
- load-testing
- awesome
The open-source safety layer for AI agents — block unsafe tool calls, require approval, enforce budgets, audit, replay.
Like dispatch.vim but using overseer.nvim
- build-tool
- dispatch
- neovim-plugin-lua
Helpful Debug Overlay views for monitoring systems and tracking down elusive issues in GameMaker.
An (opinionated) overview of all pages and their corresponding promotion settings.
- wagtail
- wagtail-plugin
- marketing-tools
- seo-tools
GoStats is a go library for math statistics mostly used in ML domains, it covers most of the statistical measures functions.
- golang
- go
- machine-learning
- stats
Common case conversions covering common initialisms.
Attempt at reproducing a SGNN's projection layer, but with word n-grams instead of skip-grams. Paper and more: http://aclweb.org/anthology/D18-1105
A Go recursive coverage testing tool
Neovim plugin for displaying code coverage
a version of the 2048 game for Coq
A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.
- coq
- vst
- compcert
- graph-algorithms
Trust metadata for AI agents — a stamp costs ~15 tokens, re-verifying costs 15,000. Agents stamp what they verify; the next agent runs 'akf check' and builds on it. pip install akf
Easily override quicklisp projects without using git submodules
Rate limiter and overload protection for erlang application
This script is written in python 3.x for interfacing the AD9833 with microcontrollers with micropython (specifically the PyBoard) over SPI.
- micropython
- micropython-board
- pyboard
- spi
Discover your unique music story. Explore your top tracks, artists, genres, and musical eras.
High-fidelity transcript memory for Claude Code — index every session, recall byte-identical, search, prune, compose. Local-first, stdlib-only, MCP.
- claude-code
- llm
- mcp
- memory
Dual analog joystick on ESP32 over BLE (Nordic UART Service - NUS) using micropython
- micropython
- micropython-esp32
- ble
- nus