Skip to content
View fraware's full-sized avatar
🎯
Focusing
🎯
Focusing

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

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

Report abuse
  • solarsim Public

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

    Python 1 Updated Mar 7, 2025
  • supabase Public

    Forked from supabase/supabase

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

    TypeScript Apache License 2.0 Updated Mar 7, 2025
  • Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean 4.

    Lean 1 MIT License Updated Mar 5, 2025
  • Production-ready prototype for formal verification of ML or scientific pipelines using Lean 4and Python.

    Lean 1 Updated Mar 3, 2025
  • The math library of Lean 4

    Lean Apache License 2.0 Updated Mar 1, 2025
  • The Accountability Layer is an open‑source tool designed to ensure transparency and traceability in AI agent decision-making.

    JavaScript 1 MIT License Updated Feb 28, 2025
  • 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…

    Python 1 MIT License Updated Feb 27, 2025
  • terrascale Public

    Design and Simulate a Planet-Scale Social Network Architecture.

    Python 1 MIT License Updated Feb 27, 2025
  • chronoapi Public

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

    Python 1 MIT License Updated Feb 27, 2025
  • deeptime Public

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

    Python 1 MIT License Updated Feb 27, 2025
  • octotools Public

    Forked from octotools/octotools

    OctoTools: An agentic framework with extensible tools for complex reasoning

    Python Creative Commons Attribution 4.0 International Updated Feb 25, 2025
  • dust Public

    Forked from dust-tt/dust

    Custom AI assistant platform to speed up your work.

    TypeScript MIT License Updated Feb 25, 2025
  • infracost Public

    Forked from infracost/infracost

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

    Go 1 Apache License 2.0 Updated Feb 24, 2025
  • skypilot Public

    Forked from skypilot-org/skypilot

    SkyPilot: 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 Updated Feb 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.

    Go 1 MIT License Updated Feb 23, 2025
  • 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 Updated Feb 23, 2025
  • jax Public

    Forked from jax-ml/jax

    Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

    Python Apache License 2.0 Updated Feb 22, 2025
  • A concise but complete full-attention transformer with a set of promising experimental features from various papers

    Python MIT License Updated Feb 22, 2025
  • ao Public

    Forked from pytorch/ao

    PyTorch native quantization and sparsity for training and inference

    Python BSD 3-Clause "New" or "Revised" License Updated Feb 22, 2025
  • candle Public

    Forked from huggingface/candle

    Minimalist ML framework for Rust

    Rust Apache License 2.0 Updated Feb 22, 2025
  • burn Public

    Forked from tracel-ai/burn

    Burn 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 Updated Feb 21, 2025
  • Implementation of the sparse attention pattern proposed by the Deepseek team in their "Native Sparse Attention" paper

    Python MIT License Updated Feb 21, 2025
  • crewAI Public

    Forked from crewAIInc/crewAI

    Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

    Python MIT License Updated Feb 21, 2025
  • vision-agent Public

    Forked from askui/vision-agent

    Automate computer tasks in Python

    Python MIT License Updated Feb 20, 2025
  • playwright Public

    Forked from microsoft/playwright

    Playwright is a framework for Web Testing and Automation. It allows testing Chromium, Firefox and WebKit with a single API.

    TypeScript Apache License 2.0 Updated Feb 20, 2025
  • dispatch Public

    Forked from Netflix/dispatch

    All of the ad-hoc things you're doing to manage incidents today

    Python Apache License 2.0 Updated Feb 20, 2025
  • web-ui Public

    Forked from browser-use/web-ui

    Run AI Agent in your browser.

    Python MIT License Updated Feb 20, 2025
  • Magma Public

    Forked from microsoft/Magma

    Magma: A Foundation Model for Multimodal AI Agents

    MIT License Updated Feb 20, 2025
  • Make websites accessible for AI agents

    Python MIT License Updated Feb 20, 2025
  • bittensor Public

    Forked from opentensor/bittensor

    Internet-scale Neural Networks

    Python MIT License Updated Feb 18, 2025