Charter and other meeting materials for AI protocols.
☆20Jul 23, 2026Updated 3 months ago
Alternatives and similar repositories for aiproto-wg
Users that are interested in aiproto-wg are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of Rust crates for working with the Kafka protocol☆10Aug 18, 2019Updated 7 years ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- Bubo, the owl strategist, here to help you to build a fortune. NyxsOwl is an innovative machine learning framework designed to simplify a…☆10Jul 8, 2025Updated last year
- Exthereum's RLPx, DevP2P, Eth Wire Protocol Implementation☆14Jun 2, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Conduit interface for cassava [Haskell]☆16Jan 2, 2024Updated 2 years ago
- Durability for web streams powered by S2☆22Jan 2, 2026Updated 10 months ago
- ## Auto-archived due to inactivity. ## Rust's serde implementation for the Kafka protocol.☆17Feb 12, 2021Updated 5 years ago
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- Go SDK for S2, the durable streams API☆17Oct 30, 2026Updated last week
- A local-first, open-source Rust-based AI app builder that generates code using orchestrated multi agents and sub-agents.☆13Mar 26, 2026Updated 7 months ago
- Disco Stochastic Network Calculator☆10Aug 15, 2017Updated 9 years ago
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years ago
- ☆14Nov 21, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Erasure code library for Erlang☆12Sep 5, 2024Updated 2 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- LDK Web Sandbox with live reload☆11Aug 29, 2022Updated 4 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 years ago
- General purpose discrete event simulator written in rust☆11Dec 11, 2017Updated 8 years ago
- Erlang NIF bindings for libsecp256k1 ECDSA library☆13Apr 12, 2019Updated 7 years ago
- Python to Rust compiler☆14Aug 28, 2022Updated 4 years ago
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆14Sep 20, 2026Updated last month
- Info about meetings, notes, and links☆13Nov 15, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago
- ☆13Apr 3, 2026Updated 7 months ago
- ☆18Jan 8, 2026Updated 9 months ago
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 3 years ago
- A toy programming language you use to build other toys☆12May 15, 2025Updated last year
- Distributed multi-agent research engine with dynamic strategy planning, durable stream-based coordination, and controlled synthesis☆26Feb 21, 2026Updated 8 months ago
- Haskell bindings for Bitcoin RPC☆13Apr 4, 2017Updated 9 years ago
- google-authz = tower-service + google authentication☆19Sep 4, 2024Updated 2 years ago
- ☆17Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Main LDK C Bindings on which other bindings are built☆12Aug 30, 2026Updated 2 months ago
- llm-powered theorem proving for isabelle/hol☆17Jul 22, 2026Updated 3 months ago
- The microos.opensuse.org website☆17Apr 24, 2026Updated 6 months ago
- Application to help generate resume content based on your experience and your interesting job.☆13May 1, 2024Updated 2 years ago
- Connect, explore, and test any MCP server with AI models 🤖 ⚡☆22Dec 19, 2025Updated 10 months ago
- A fleet manager for SlateDB: GC, compaction, and mirroring across database fleets.☆28Jul 30, 2026Updated 3 months ago
- Mastering OpenStack, Published by Packt☆15Nov 10, 2024Updated last year