Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
- coq-plugin
- coq-tactic
- coq
- docker-coq-action
Repository Index
47,133 repositories indexed
25–32 of 32 · Most stars
DepCharge is a tool designed to help orchestrate the execution of commands across many directories at once.
- orchestration
- dependency-manager
- git-submodule
- cli
A developer CLI tool that manages .env files, detects secret leaks, syncs env drift across teammates, and validates environment parity between local/staging/prod all from your terminal. Written in Go.
A GitHub Action that analyses a Pull Request and adds unit tests if necessary / possible
A Kubernetes Client for Elixir based on Req
- api-client
- elixir
- kubernetes
- kubernetes-client
Cold storage that queries like hot storage. High-ratio JSONL compressor with block-level random access. Query cold storage in seconds — no restore, no full decompression. 5–13% ratio on JSONL logs, 25–57% smaller than gzip. 1-hour window via DuckDB in under 6s. Free for personal and open-source use.
Chests are bounded containers
This is a One-Click docker images and containers setup base which is doing via a lot of bash scripts. My primary target is embedded linux development and you can choose your target whatever you want. Have fun. Thank you for your starts.