Project Wycheproof tests crypto libraries against known attacks.
Repository Index
77,852 visible repositories in the index
1–7 of 7 · Most stars
Tools for various online judges. Downloading sample cases, generating additional test cases, testing your code, and submitting it.
- competitive-programming
- automation
- scraping
- atcoder
Write and debug tests easily, with full action history, time travel, screenshots, rapid re-execution, video records, interactivity, isolation and more
WebTau (web test automation) is a testing API, command line tool and a framework to write unit, integration and end-to-end tests. Test across REST-API, WebSocket, GraphQL, Browser, Database, CLI and Business Logic with a consistent set of matchers and concepts. REPL mode speeds-up tests development. Rich reporting cuts down investigation time.
Concuerror is a stateless model checking tool for Erlang programs.
- concuerror
- erlang
- systematic-testing
- testing
Wraps any WSGI application and makes it easy to send test requests to that application, without starting up an HTTP server.
jscodeshift wrapper to write smaller and better tests for your codemods using AVA