published Published about 1 month ago
ReciPies: A Lightweight Data Transformation Pipeline for Reproducible ML
Jupyter Notebook Python
published Published almost 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 over 4 years ago
DataLad: distributed system for joint management of code, data, and their relationship
published Published over 5 years ago

