Skip to content

@specula-org specula-org

Change the repository type filter

All

    Repositories list

    37 repositories

    • Specula

      Public
      Specula: A framework for finding deep bugs in system code using TLA+
      TLA
      •
      Apache License 2.0
      •21•133•0•0•Updated Apr 20, 2026Apr 20, 2026

    • SysMoBench-website

      Public
      website
      JavaScript
      •0•0•0•0•Updated Apr 20, 2026Apr 20, 2026

    • SysMoBench

      Public
      SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
      TLA
      •
      Apache License 2.0
      •1•12•0•0•Updated Apr 18, 2026Apr 18, 2026

    • sofa-jraft

      Public
      A production-grade java implementation of RAFT consensus algorithm.
      Java
      •
      Apache License 2.0
      •1.2k•0•0•0•Updated Apr 8, 2026Apr 8, 2026

    • specula-case-studies

      Public
      specula-case-studies
      TLA
      •0•5•0•0•Updated Apr 7, 2026Apr 7, 2026

    • papaya

      Public
      A fast and ergonomic concurrent hashmap for read-heavy workloads.
      Rust
      •
      MIT License
      •34•0•0•0•Updated Apr 5, 2026Apr 5, 2026

    • raft

      Public
      Raft library for maintaining a replicated state machine
      Go
      •
      Apache License 2.0
      •240•0•0•0•Updated Apr 5, 2026Apr 5, 2026

    • autobahn-artifact

      Public
      Python
      •
      Apache License 2.0
      •11•0•0•0•Updated Apr 5, 2026Apr 5, 2026

    • spdm-rs

      Public
      A rust implementation for DMTF SPDM protocol to support Confidential Computing
      Rust
      •
      Other
      •26•0•0•0•Updated Apr 2, 2026Apr 2, 2026

    • hashicorp-raft

      Public
      Golang implementation of the Raft consensus protocol
      Go
      •
      Mozilla Public License 2.0
      •1.1k•0•0•0•Updated Apr 1, 2026Apr 1, 2026

    • RaftLeaderLeases

      Public
      TLA+ model for Raft Leader Leases, and linearizable reads from leader
      Python
      •
      MIT License
      •3•0•0•0•Updated Apr 1, 2026Apr 1, 2026

    • kanal

      Public
      The fast sync and async channel that Rust deserves
      Rust
      •
      MIT License
      •49•0•0•0•Updated Mar 30, 2026Mar 30, 2026

    • papaya-1

      Public
      A fast and ergonomic concurrent hashmap for read-heavy workloads.
      Rust
      •
      MIT License
      •34•0•0•0•Updated Mar 29, 2026Mar 29, 2026

    • raft-1

      Public
      :rowboat: Raft implementation in Go
      Go
      •
      The Unlicense
      •206•0•0•0•Updated Mar 29, 2026Mar 29, 2026

    • rethinkdb

      Public
      The open-source database for the realtime web.
      C++
      •
      Other
      •1.9k•0•0•0•Updated Mar 28, 2026Mar 28, 2026

    • dotNext

      Public
      Next generation API for .NET
      C#
      •
      MIT License
      •149•0•0•0•Updated Mar 27, 2026Mar 27, 2026

    • dotNext-1

      Public
      Next generation API for .NET
      C#
      •
      MIT License
      •149•0•0•1•Updated Mar 27, 2026Mar 27, 2026

    • scylladb

      Public
      NoSQL data store using the Seastar framework, compatible with Apache Cassandra and Amazon DynamoDB
      C++
      •
      Other
      •1.5k•0•0•0•Updated Mar 27, 2026Mar 27, 2026

    • ra

      Public
      A Multi-Raft implementation for Erlang and Elixir that strives to be efficient and make it easier to use multiple Raft clusters in a single system.
      Erlang
      •
      Other
      •107•0•0•0•Updated Mar 27, 2026Mar 27, 2026

    • raft-rs

      Public
      Raft distributed consensus algorithm implemented in Rust.
      Rust
      •
      Apache License 2.0
      •454•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • raft-java

      Public
      Raft Java implementation which is simple and easy to understand.
      Java
      •
      Apache License 2.0
      •413•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • async-raft

      Public
      An implementation of the Raft distributed consensus protocol using the Tokio framework.
      Rust
      •
      Apache License 2.0
      •87•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • openraft

      Public
      rust raft with improvements
      Rust
      •
      Apache License 2.0
      •205•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • nebula

      Public
      A distributed, fast open-source graph database featuring horizontal scalability and high availability
      C++
      •
      Apache License 2.0
      •1.3k•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • NuRaft

      Public
      C++ implementation of Raft core logic as a replication library
      C++
      •
      Apache License 2.0
      •290•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • raft-3

      Public
      C implementation of the Raft Consensus protocol, BSD licensed
      C
      •
      Other
      •274•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • redisraft

      Public
      A Redis Module that make it possible to create a consistent Raft cluster from multiple Redis instances.
      C
      •
      Other
      •64•0•0•0•Updated Mar 25, 2026Mar 25, 2026

    • raft-2

      Public
      UNMAINTAINED: A Go implementation of the Raft distributed consensus protocol.
      Go
      •
      MIT License
      •476•0•0•1•Updated Mar 25, 2026Mar 25, 2026

    • llvm-project

      Public
      The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
      LLVM
      •
      Other
      •17k•0•0•0•Updated Mar 18, 2026Mar 18, 2026

    • besu

      Public
      An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
      Java
      •
      Apache License 2.0
      •1k•0•0•0•Updated Mar 18, 2026Mar 18, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.