Pinned Loading

1. DeepLiDARPlanet DeepLiDARPlanet Public

   Deep Learning Repo for Biomass Estimation from Airborne and Spaceborne images.

   Python 11 1

2. chaoslabs chaoslabs Public

   ChaosLabs is a platform that allows developers and SREs to simulate failures, inject faults, and monitor the behavior of distributed systems in real time.

   Go 6

3. leanverifier leanverifier Public

   Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

   Lean 83 5

4. LabTrust-Gym LabTrust-Gym Public

   A multi-agent environment (PettingZoo/Gym) for hospital lab automation, with a reference trust skeleton.

   Python 2

5. lean-containers lean-containers Public

   lean-containers is a container library for Lean 4 that provides type-safe, mathematically rigorous implementations of container types and operations.

   Batchfile 2

6. scientific-memory scientific-memory Public

   Buildable, machine-checkable scientific knowledge.

   Python 2