Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for testing coq
coq
x
testing
x
3 search results found
Quickchick
⭐
235
Randomized Property-Based Testing Plugin for Coq
Ifc
⭐
9
Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq proofs.
Coq Performance Tests
⭐
6
A library of Coq source files testing for performance regressions on Coq [maintainer=@JasonGross]
Related Searches
Command Line Testing (21,674)
Javascript Testing (21,651)
Testing Angular (21,473)
Python Testing (9,499)
Java Testing (7,064)
Ruby Testing (4,020)
Html Testing (3,478)
Php Testing (3,466)
Reactjs Testing (3,184)
Testing Proxy (3,095)
1-3 of 3 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.