fraware (Matéo H. Petel) · GitHub
Skip to content
View fraware's full-sized avatar
🎯
Focusing
🎯
Focusing
89 followers · 2k following

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Starstruck

Organizations

@SentinelOps-CI

Block or report fraware

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
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 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 84 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.

    Lean 2

  6. scientific-memory scientific-memory Public

    Buildable, machine-checkable scientific knowledge.

    Python 2