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

The open source Firebase alternative. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.

An Open Source software for 3D sound propagation modelling

Production-ready prototype for formal verification of ML or scientific pipelines using Lean 4and Python.

White-box automation for Lean 4

Retrieval-Augmented Theorem Provers for Lean

This repo contains the dataset and code for the paper "SWE-Lancer: Can Frontier LLMs Earn $1 Million from Real-World Freelance Software Engineering?"

Set up SWE-Lancer 50X faster on Morph Cloud

Python wrapper for lean-gym

Ensures bitwise reproducibility of ML operations across different hardware targets.

core protocol repo for mainnet launch

The math library of Lean 4

Advanced 3D simulation of the solar system, featuring enhanced physics and interactive visualization.

The Accountability Layer is an open‑source tool designed to ensure transparency and traceability in AI agent decision-making.

The official Python SDK for Pig

Official code from the paper "Offline RL for Natural Language Generation with Implicit Language Q Learning"

The official Python API for Maisa's capabilities.

Shared, hierarchical cloud cost allocation based on user-defined usage metrics

Cloud cost estimates for Terraform in pull requests💰📉 Shift FinOps Left!

Cloud cost estimates for Terraform in pull requests💰📉 Shift FinOps Left!

CloudPilot is an AI-driven infrastructure optimizer designed to continuously learn and adapt, helping organizations reduce cloud costs while maintaining optimal performance, reliability, and scalab…

CLI for determining the cost of Kubernetes workloads

Design and Simulate a Planet-Scale Social Network Architecture.

Rust bindings to GAP (Groups, Algorithms, Programming)

Interactive, lightweight forecasting platform based on IBM’s Granite!

A RESTful API for real-time forecasting using IBM Research’s TTM model.

Code for voicing silent speech from EMG. Official repository for the papers "Digital Voicing of Silent Speech" at EMNLP 2020 and "An Improved Model for Voicing Silent Speech" at ACL 2021. Also incl…