Skip to content
@specula-org

specula-org

Pinned Loading

  1. Specula Specula Public

    Specula: An agentic tool for finding deep bugs in system code using TLA+

    Python 623 70

  2. SysMoBench SysMoBench Public

    SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

    Python 26 3

  3. specula-case-studies specula-case-studies Public

    specula-case-studies

    TLA 8 2

  4. TLAPS-Bench TLAPS-Bench Public

    Formally proving complex protocols and systems using TLA+ Proof System (TLAPS)

    TLA 37 5

Repositories

Showing 10 of 44 repositories
  • Specula Public

    Specula: An agentic tool for finding deep bugs in system code using TLA+

    specula-org/Specula's past year of commit activity
    Python 623 Apache-2.0 70 8 2 Updated Nov 3, 2026
  • TLAPS-Bench Public

    Formally proving complex protocols and systems using TLA+ Proof System (TLAPS)

    specula-org/TLAPS-Bench's past year of commit activity
    TLA 37 MIT 5 0 0 Updated Oct 29, 2026
  • specula-case-studies Public

    specula-case-studies

    specula-org/specula-case-studies's past year of commit activity
    TLA 8 2 0 0 Updated Oct 21, 2026
  • SysMoBench Public

    SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

    specula-org/SysMoBench's past year of commit activity
    Python 26 Apache-2.0 3 0 1 Updated Oct 11, 2026
  • NuRaft Public Forked from eBay/NuRaft

    C++ implementation of Raft core logic as a replication library

    specula-org/NuRaft's past year of commit activity
    C++ 0 Apache-2.0 312 0 0 Updated Oct 9, 2026
  • tlaps-bench-website Public
    specula-org/tlaps-bench-website's past year of commit activity
    JavaScript 1 1 0 0 Updated Sep 30, 2026
  • raft-1 Public Forked from eliben/raft

    🚣 Raft implementation in Go

    specula-org/raft-1's past year of commit activity
    Go 0 Unlicense 238 0 0 Updated Sep 12, 2026
  • Specula-website Public

    Website for Specula

    specula-org/Specula-website's past year of commit activity
    CSS 0 0 0 0 Updated Sep 3, 2026
  • zookeeper-tla-spec Public Forked from Disalg-ICS-NJU/zookeeper-tla-spec
    specula-org/zookeeper-tla-spec's past year of commit activity
    TLA 0 5 0 0 Updated Aug 23, 2026
  • crossbeam Public Forked from crossbeam-rs/crossbeam

    Tools for concurrent programming in Rust

    specula-org/crossbeam's past year of commit activity
    Rust 0 Apache-2.0 609 0 0 Updated Jun 9, 2026
View all repositories

Most used topics

Loading…