Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for nix action
nix-action
x
5 search results found
Chapar
⭐
32
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
Aac Tactics
⭐
29
Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]
Sudoku
⭐
20
A certified Sudoku solver in Coq [maintainers=@siraben,@thery]
Qarith Stern Brocot
⭐
12
Binary rational numbers in Coq [maintainer=@herbelin]
Buchberger
⭐
8
Verified implementation in Coq of Buchberger's algorithm for computing Gröbner bases [maintainer=@palmskog]
Related Searches
Coq Nix Action (11)
Nix Action Coq Extraction (4)
Ocaml Nix Action (3)
Algorithms Nix Action (3)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.