Skip to content
@BitMiracle-AI

BitMiracle-AI

Popular repositories Loading

  1. Dormice Dormice Public

    The SQLite of agent sandboxes — self-hosted, E2B-compatible. One machine, sandboxes that live forever, idle costs nothing.

    TypeScript 1.8k 123

  2. detailed-balance-gac detailed-balance-gac Public

    Lean 4 formalization: global convergence of detailed balanced mass-action systems

    Lean 5 1

Repositories

Showing 2 of 2 repositories
  • detailed-balance-gac Public

    Lean 4 formalization: global convergence of detailed balanced mass-action systems

    BitMiracle-AI/detailed-balance-gac's past year of commit activity
    Lean 5 Apache-2.0 1 0 0 Updated Oct 22, 2026
  • Dormice Public

    The SQLite of agent sandboxes — self-hosted, E2B-compatible. One machine, sandboxes that live forever, idle costs nothing.

    BitMiracle-AI/Dormice's past year of commit activity
    TypeScript 1,771 Apache-2.0 123 56 2 Updated Oct 11, 2026

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…