Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with nix-action
A curated list of projects in awesome lists tagged with nix-action .
https://github.com/coq-community/chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
causal-consistency coq coq-extraction distributed-systems docker-coq-action key-value nix-action ocaml
Last synced: 24 Nov 2024
https://github.com/coq-community/aac-tactics
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
coq coq-ci coq-platform coq-plugin coq-tactic docker-coq-action nix-action
Last synced: 02 Jan 2025
https://github.com/coq-community/sudoku
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
Last synced: 10 Oct 2024
https://github.com/coq-community/qarith-stern-brocot
Binary rational numbers in Coq [maintainer=@herbelin]
coq coq-library docker-coq-action nix-action paper-artifacts rational-numbers
Last synced: 24 Nov 2024
https://github.com/coq-community/buchberger
Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
buchberger-algorithm coq coq-extraction docker-coq-action grobner-basis nix-action
Last synced: 24 Nov 2024
https://github.com/coq-community/almost-full
Coq development of almost-full relations, including the Ramsey Theorem, useful for proving termination [maintainer=@palmskog]
coq docker-coq-action nix-action paper-artifacts ramsey termination
Last synced: 24 Nov 2024
https://github.com/coq-community/jmlcoq
Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]
coq docker-coq-action java jml nix-action runtime-checking
Last synced: 24 Nov 2024
https://github.com/coq-community/pocklington
Pocklington's criterion for primality in Coq [maintainer=@Casteran]
coq docker-coq-action nix-action primality-testing prime-numbers
Last synced: 24 Nov 2024
https://github.com/coq-community/stalmarck
Certified implementation in Coq of Stålmarck's algorithm for proving tautologies [maintainer=@palmskog]
coq coq-ci coq-extraction coq-plugin docker-coq-action nix-action tautology tautology-checking
Last synced: 24 Nov 2024