GitHub

Unofficial Keygen Python SDK

The keygen-py package allows Python programs to manage licenses using the keygen.sh service. This is a wrapper around the Rust package keygen-rs to provide Python bindings. When implementing a testing ...
Frontiers

Deformation prediction analysis of sandstone coal mine goaf based on discrete element method and probability integration method

1 Economic and Technical Research Institute of State Grid Shaanxi Electric Power Company, Xi’an, China 2 Shaanxi Local Electric Power (Group) Co., Ltd., Xi’an, China Accurate prediction of goaf ...
GitHub

A Python package that automatically generates and updates dataclasses from ISO20022 schemas daily, making it easy to integrate and validate financial message data.

python-iso20022/ ├── .github/workflows # CI/CD workflows ├── python_iso20022/ # Top-level package directory │ ├── acmt/ # Example of a message set directory │ │ ├── acmt_001_001_08/ # Directory for a ...
IEEE

CodoMo: Python Model Checking to Integrate Agile Verification Process of Computer Vision Systems

Abstract: Model checking is a fundamental technique for verifying finite state concurrent systems. Traditionally, model designs were initially created to facilitate the application of model checking.