Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
conda-forge.org "verification" keyword
xskillscore 0.0.24
Metrics for verifying forecasts21 versions - Latest release: over 2 years ago - 5 dependent packages - 21 dependent repositories - 169 stars on GitHub
cryptominisat 5.8.0
An advanced SAT Solver https://www.msoos.org10 versions - Latest release: over 2 years ago - 686 stars on GitHub
sanic-security 1.9.3
An effective, simple, and async security library for the Sanic framework.55 versions - Latest release: over 1 year ago - 77 stars on GitHub
livvkit 3.0.1
LIVVkit is a python-based toolkit for verification and validation of ice sheet models. It aims to...3 versions - Latest release: over 2 years ago - 1 dependent package - 8 stars on GitHub
pysmt 0.9.5
pySMT: A library for SMT formulae manipulation and solving2 versions - Latest release: almost 2 years ago - 491 stars on GitHub
monet 2.2.6
The Model and ObservatioN Evaluation Toolkit (MONET)7 versions - Latest release: over 1 year ago - 3 dependent repositories - 35 stars on GitHub
Related Keywords
python
3
roles
1
sanic
1
sanic-framework
1
security
1
session
1
token
1
two-factor
1
ice-sheet-models
1
testing
1
validation
1
constraints
1
formula
1
python-3
1
satisfiability-modulo-theories
1
smt
1
air
1
arl
1
cmaq
1
noaa
1
quality
1
visualization
1
forecasting
1
metrics
1
pangeo
1
cdcl-algorithm
1
cnf
1
cryptography
1
dpll
1
proof
1
sat-solver
1
xor
1
aiohttp
1
async
1
auth
1
authentication
1
authorization
1
captcha
1
jwt
1
login
1
permissions
1
python3
1
register
1