-
solarsim Public
Advanced 3D simulation of the solar system, featuring enhanced physics and interactive visualization.
-
supabase Public
Forked from supabase/supabaseThe open source Firebase alternative. Supabase gives you a dedicated Postgres database to build your web, mobile, and AI applications.
TypeScript Apache License 2.0 UpdatedMar 7, 2025 -
leanverifier Public
Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.
-
lean-python-bridge Public
Production-ready prototype for formal verification of ML or scientific pipelines using Lean 4and Python.
-
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedMar 1, 2025 -
accountabilitylayer Public
The Accountability Layer is an open‑source tool designed to ensure transparency and traceability in AI agent decision-making.
-
cloudpilot Public
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…
-
terrascale Public
Design and Simulate a Planet-Scale Social Network Architecture.
-
chronoapi Public
A RESTful API for real-time forecasting using IBM Research’s TTM model.
-
deeptime Public
Interactive, lightweight forecasting platform based on IBM’s Granite!
-
octotools Public
Forked from octotools/octotoolsOctoTools: An agentic framework with extensible tools for complex reasoning
Python Creative Commons Attribution 4.0 International UpdatedFeb 25, 2025 -
dust Public
Forked from dust-tt/dustCustom AI assistant platform to speed up your work.
TypeScript MIT License UpdatedFeb 25, 2025 -
infracost Public
Forked from infracost/infracostCloud cost estimates for Terraform in pull requests💰📉 Shift FinOps Left!
-
skypilot Public
Forked from skypilot-org/skypilotSkyPilot: Run AI and batch jobs on any infra (Kubernetes or 14+ clouds). Get unified execution, cost savings, and high GPU availability via a simple interface.
Python Apache License 2.0 UpdatedFeb 23, 2025 -
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.
-
sqlx Public
Forked from launchbadge/sqlx🧰 The Rust SQL Toolkit. An async, pure Rust SQL crate featuring compile-time checked queries without a DSL. Supports PostgreSQL, MySQL, and SQLite.
Rust Apache License 2.0 UpdatedFeb 23, 2025 -
jax Public
Forked from jax-ml/jaxComposable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
Python Apache License 2.0 UpdatedFeb 22, 2025 -
x-transformers Public
Forked from lucidrains/x-transformersA concise but complete full-attention transformer with a set of promising experimental features from various papers
Python MIT License UpdatedFeb 22, 2025 -
ao Public
Forked from pytorch/aoPyTorch native quantization and sparsity for training and inference
Python BSD 3-Clause "New" or "Revised" License UpdatedFeb 22, 2025 -
candle Public
Forked from huggingface/candleMinimalist ML framework for Rust
Rust Apache License 2.0 UpdatedFeb 22, 2025 -
burn Public
Forked from tracel-ai/burnBurn is a new comprehensive dynamic Deep Learning Framework built using Rust with extreme flexibility, compute efficiency and portability as its primary goals.
Rust Apache License 2.0 UpdatedFeb 21, 2025 -
native-sparse-attention-pytorch Public
Forked from lucidrains/native-sparse-attention-pytorchImplementation of the sparse attention pattern proposed by the Deepseek team in their "Native Sparse Attention" paper
Python MIT License UpdatedFeb 21, 2025 -
crewAI Public
Forked from crewAIInc/crewAIFramework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
Python MIT License UpdatedFeb 21, 2025 -
vision-agent Public
Forked from askui/vision-agentAutomate computer tasks in Python
Python MIT License UpdatedFeb 20, 2025 -
playwright Public
Forked from microsoft/playwrightPlaywright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.
TypeScript Apache License 2.0 UpdatedFeb 20, 2025 -
dispatch Public
Forked from Netflix/dispatchAll of the ad-hoc things you're doing to manage incidents today
Python Apache License 2.0 UpdatedFeb 20, 2025 -
web-ui Public
Forked from browser-use/web-uiRun AI Agent in your browser.
Python MIT License UpdatedFeb 20, 2025 -
Magma Public
Forked from microsoft/MagmaMagma: A Foundation Model for Multimodal AI Agents
MIT License UpdatedFeb 20, 2025 -
browser-use Public
Forked from browser-use/browser-useMake websites accessible for AI agents
Python MIT License UpdatedFeb 20, 2025 -
bittensor Public
Forked from opentensor/bittensorInternet-scale Neural Networks
Python MIT License UpdatedFeb 18, 2025