Pinned Loading

1. folio folio Public

   Your coding agent keeps a library in your repo with each kind of document in its best format (HTML pages to explain, Markdown records to log, LaTeX papers to publish), all written in the language, …

   Python

2. giro giro Public

   Your coding agent never declares itself done: giro loops it against the gates you set (any command whose exit code decides, and blind reviewers with your criteria) and ends every run in proof on a …

   Python

3. lab-kit lab-kit Public

   Run a research lab with your coding agent as its staff: you set the question and approve each mission; scouts, runners, reviewers and reporters do the work, every experiment locked before it runs, …

   Python

4. pacti-org/pacti pacti-org/pacti Public

   A package for compositional system analysis and design

   Python 35 7

5. crome-cgg crome-cgg Public

   Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems

   Python 11 1

6. anomaly-detection anomaly-detection Public

   Anomaly Detection in Event Streams: Leveraging advanced deep learning for anomaly detection in event streams, with metrics evaluation, Slurm support, and Hadoop HDFS validation.

   Python 2