published Published about 2 months ago
ado: a Python framework for computational experimentation and benchmarking
HCL Python
published Published 2 months ago
Komodo: Cryptographically-proven Erasure Coding
Nushell Python Rust
published Published 6 months ago
ReciPies: A Lightweight Data Transformation Pipeline for Reproducible ML
Jupyter Notebook Python
published Published over 4 years ago
gym-saturation: an OpenAI Gym environment for saturation provers
Python OpenEdge ABL
published Published over 4 years ago
BioProv - A provenance library for bioinformatics workflows
Python
published Published about 5 years ago
DataLad: distributed system for joint management of code, data, and their relationship
published Published over 5 years ago

