Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sandshrew

Underconstrained symbolic execution for cryptography verification
Stars
11
License
No license specified
Open Issues
2
Most Recent Commit
5 years ago
Programming Language
Python
Categories
Repo
Suggest An Alternative To sandshrew
Popular Cryptography Projects
Bitcoin ⭐ 73,537
Bitcoin Core integration/staging tree
total releases 2latest release June 21, 2021most recent commit 3 months ago
Ccxt ⭐ 30,815
A JavaScript / TypeScript / Python / C# / PHP cryptocurrency trading API with support for more than 100 bitcoin/altcoin exchanges
dependent packages 74total releases 14,316latest release December 03, 2023most recent commit a month agonpm ccxt} Downloads
Openbbterminal ⭐ 26,037
Investment Research for Everyone, Everywhere.
dependent packages 5total releases 34latest release November 30, 2023most recent commit 6 hours agopypi openbb} Downloads
Openssl ⭐ 23,577
TLS/SSL and crypto library
dependent packages 225total releases 50latest release November 03, 2023most recent commit 3 months ago
Popular Unit Testing Projects
Ava ⭐ 20,617
Node.js test runner that lets you develop with confidence 🚀
dependent packages 33,632total releases 112latest release December 06, 2023most recent commit 17 days agonpm ava} Downloads
Swifterswift ⭐ 13,596
A handy collection of more than 500 native Swift extensions to boost your productivity.
total releases 40latest release April 07, 2020most recent commit 22 days ago
Pytest ⭐ 11,020
The pytest framework makes it easy to write small tests, yet scales to support complex functional testing
dependent packages 20,621total releases 165latest release October 24, 2023most recent commit 3 months agopypi pytest} Downloads
Popular Security Categories
Security
Token
Authentication
Password
Oauth
Scanner
Cryptography
Ssh
Role
Session
Related Searches
Python Cryptography
Python Execution
Python Symbolic
Python Unit Testing
Python Symbolic Execution
Execution Unit Testing
Cryptography Execution
Unit Testing Symbolic Execution
Cryptography Symbolic
Unit Testing Symbolic

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Cryptography
Unit Testing
Symbolic Execution
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.