Skip to content
View fraware's full-sized avatar
🎯
Focusing
🎯
Focusing
88 followers · 1.7k following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Starstruck

Organizations

@SentinelOps-CI

Block or report fraware

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
fraware/README.md

Metrics

Pinned Loading

  1. DeepLiDARPlanet DeepLiDARPlanet Public

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

    Python 9 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 81 3

  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