published Published over 2 years ago
gym-saturation: an OpenAI Gym environment for saturation provers
Python OpenEdge ABL
published Published almost 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 almost 4 years ago