A self-hosted data logger for your Tesla 🚘 [main maintainer=@JakobLichterfeld]
- tesla
- tesla-api
- elixir-lang
- grafana
Repository Index
47,133 repositories indexed
1–9 of 9 · Most stars
A simple, stateless NixOS deployment tool [maintainer=@stepbrobd, @NickCao, @zhaofengli]
Old (2022) proof of concept: Zero-Config CLI to Deploy Static Websites to IPFS
- ipfs
- dnslink
- pinning
- deploying
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
Docker images of the Coq proof assistant (see also: https://github.com/coq-community/docker-coq-action) [maintainer=@Justme0606]
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
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]
- coq
- mustache-templates
- continuous-integration
Docker images of coq-mathcomp [maintainer=?]