published Published almost 3 years ago
gym-saturation: an OpenAI Gym environment for saturation provers
Python OpenEdge ABL
published Published about 3 years ago
BioProv - A provenance library for bioinformatics workflows
Python
published Published over 3 years ago
DataLad: distributed system for joint management of code, data, and their relationship
published Published about 4 years ago