Pinned Repositories
accountabilitylayer
The Accountability Layer is an open‑source tool designed to ensure transparency and traceability in AI agent decision-making.
agent-smith
AGI_house_hackathon_Translation_Augmented_Generation
chaoslabs
ChaosLabs is a platform that allows developers and SREs to simulate failures, inject faults, and monitor the behavior of distributed systems in real time.
chronoapi
A RESTful API for real-time forecasting using IBM Research’s TTM model.
cloudpilot
CloudPilot is an AI-driven infrastructure optimizer designed to continuously learn and adapt, helping organizations reduce cloud costs while maintaining optimal performance, reliability, and scalability.
DeepLiDARPlanet
Deep Learning Repo for Biomass Estimation from Airborne and Spaceborne images.
leanverifier
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
reversible-execution-lab
The Interactive Reversible Debugger (IRD) is an open-source debugging tool that enables step-by-step reversible execution of programs. Unlike traditional debuggers, IRD allows users to move both forwards and backwards in execution, making it easier to track state changes, debug complex logic, and analyze algorithm behavior.
SimulationAI
Simulation.AI: Intersection Navigation with Deep Reinforcement Learning
fraware's Repositories
fraware/leanverifier
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
fraware/reversible-execution-lab
The Interactive Reversible Debugger (IRD) is an open-source debugging tool that enables step-by-step reversible execution of programs. Unlike traditional debuggers, IRD allows users to move both forwards and backwards in execution, making it easier to track state changes, debug complex logic, and analyze algorithm behavior.
fraware/accountabilitylayer
The Accountability Layer is an open‑source tool designed to ensure transparency and traceability in AI agent decision-making.
fraware/chronoapi
A RESTful API for real-time forecasting using IBM Research’s TTM model.
fraware/cloudpilot
CloudPilot is an AI-driven infrastructure optimizer designed to continuously learn and adapt, helping organizations reduce cloud costs while maintaining optimal performance, reliability, and scalability.
fraware/docsearch
The easiest way to add search to your documentation.
fraware/lean-python-bridge
Production-ready prototype for formal verification of ML or scientific pipelines using Lean 4and Python.
fraware/paper-qa
High accuracy RAG for answering questions from scientific documents with citations
fraware/solarsim
Advanced 3D simulation of the solar system, featuring enhanced physics and interactive visualization.
fraware/terrascale
Design and Simulate a Planet-Scale Social Network Architecture.
fraware/autocomplete
Fast and full-featured autocomplete library
fraware/cryodrgn
Neural networks for cryo-EM reconstruction
fraware/discoveryworld
A virtual environment for developing and evaluating automated scientific discovery agents.
fraware/docs
A collaborative note taking, wiki and documentation platform that scales. Built with Django and React. Opensource alternative to Notion or Outline.
fraware/fairchem
FAIR Chemistry's library of machine learning methods for chemistry
fraware/fetchai
Fetch the right AI at the right time
fraware/matgl
Graph deep learning library for materials
fraware/mathlib4
The math library of Lean 4
fraware/matminer
Data mining for materials science
fraware/MDCrow
Molecular dynamics simulations with an LLM agent
fraware/MLGym
MLGym A New Framework and Benchmark for Advancing AI Research Agents
fraware/mpetel.github.io
Github Page M. Petel
fraware/pymatgen
Python Materials Genomics (pymatgen) is a robust materials analysis code that defines classes for structures and molecules with support for many electronic structure codes. It powers the Materials Project.
fraware/pyrho
pyrho
fraware/supabase
The open source Firebase alternative. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
fraware/textgrad
TextGrad: Automatic ''Differentiation'' via Text -- using large language models to backpropagate textual gradients.
fraware/the_well
A 15TB Collection of Physics Simulation Datasets
fraware/uAgents
A fast and lightweight framework for creating decentralized agents with ease.
fraware/vllm
A high-throughput and memory-efficient inference and serving engine for LLMs
fraware/yagna
An open platform and marketplace for distributed computations