TypeDB MCP server

The official Python SDK for the Agentica agent framework

The official TypeScript SDK for the Agentica agent framework

The official server application for running agents within the Agentica framework

A modern, Pythonic ORM for TypeDB with an Attribute-based API that aligns with TypeDB's type system.

GitHub Action for running TypeDB

Mamba SSM architecture

Build type-safe finite state machines with higher-order states.

General purpose Nix starter template for macOS or NixOS w/ step-by-step instructions

A Proof-oriented Programming Language

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

OpenHealth, AI Health Assistant | Powered by Your Data

Raft Lite is a very simple and verified implementation of the Raft consensus algorithm.

🚣‍♀️ <1kloc, well-documented Raft consensus algorithm implementation

eraft-rs is raft component of etcd-rs

The labs of Raft consensus algorithm based on MadSim.

Pure rust building block for distributed systems

A Multi-Raft implementation in Rust language.

RiteRaft - A raft framework, for regular people

An implementation of the Raft distributed consensus protocol using the Tokio framework.

rust raft with improvements

The lightest distributed consensus library. Run your own replicated state machine! ❤️

Raft distributed consensus algorithm implemented in Rust.

A model checker for implementing distributed systems.

Simplified setup for generating flamegraphs

Crucible is a library for symbolic simulation of imperative programs

Cog - A Free and Open Source Audio Player for macOS 10.14+

Framework and Language for Neurosymbolic Programming.

A list of papers about distributed consensus.