☆30Sep 28, 2026Updated last month
Alternatives and similar repositories for Aura-State
Users that are interested in Aura-State are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Secure and easy ssh certs via an ssh-agent and CA☆16Updated this week
- Opinionated, Zero-ceremony, Rust-backed dependency injection for Python☆18May 5, 2026Updated 5 months ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- SCXML - State Chart XML (State Machine Notation for Control Abstraction)☆25Sep 13, 2026Updated last month
- 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.
- This is a Tamarin model of TLS 1.3☆10Apr 19, 2023Updated 3 years ago
- ☆12Jul 26, 2026Updated 3 months ago
- Allegro Maild, an SMTP server written in Common Lisp☆17Nov 7, 2015Updated 10 years ago
- A Python Implementation of GLAD☆24Jan 18, 2021Updated 5 years ago
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- 🔀 Strange combinations converter like Audio <-> Image☆20Oct 3, 2023Updated 3 years ago
- ☆19Updated this week
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- Simple Observe Stack (sobs) is a lightweight application RUM, telemetry, logs, errors and AI focused container for application insights. …☆14Oct 26, 2026Updated last week
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code☆13Sep 1, 2026Updated 2 months ago
- A small-but-powerful typesafe state machine, designed to handle large state graphs☆13Dec 6, 2022Updated 3 years ago
- ☆14May 23, 2026Updated 5 months ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆18Mar 19, 2026Updated 7 months ago
- MCP server for creating, managing, and analyzing Meta (Facebook/Instagram) ad campaigns with Claude.☆17Oct 20, 2026Updated 2 weeks ago
- ☆18Oct 25, 2026Updated last week
- Distributed QC for Qiskit☆18Jan 18, 2024Updated 2 years ago
- Artifact for OSDI '23 Paper "Spoq: Scaling Machine-Checkable Systems Verification in Coq".☆19Aug 8, 2024Updated 2 years ago
- A canon of deep learning optimizers.☆23Jun 18, 2026Updated 4 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- LLM inference from scratch☆13Feb 11, 2026Updated 8 months ago
- A reducer enhancer for using an xstate chart with redux☆13Mar 5, 2018Updated 8 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- MermaidJS to XState (Finite State Machine) transformation☆14May 31, 2024Updated 2 years ago
- Fast subset and superset queries based on tries.☆11Jun 21, 2023Updated 3 years ago
- Fractal UI components using snabbdom, Harel statecharts, and event emitters☆12Feb 16, 2018Updated 8 years ago
- Ship energy usage data & UPS stats from Network-UPS-Tools to InfluxDB/MQTT☆11Jul 3, 2026Updated 4 months ago
- ☆12May 28, 2025Updated last year
- A web framework designed for the era of coding agents☆16Feb 13, 2026Updated 8 months 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.
- Orca (Orchestrated State Machine Language) — an LLM-native code generation target☆14Jun 3, 2026Updated 5 months ago
- Benchmarks comparing the performance and features of popular Rust actor libraries, including Actix, Coerce, Kameo, Ractor, and Xtra.☆13Jan 23, 2025Updated last year
- (Alternative) Visualizer for XState☆12Mar 2, 2023Updated 3 years ago
- remark plugin for state machine cat☆12Mar 15, 2024Updated 2 years ago
- pubsub using node.js, redis and websockets☆12Oct 6, 2010Updated 16 years ago
- Home of libm2handler. A mongrel2 handler library for C.☆12Jan 19, 2012Updated 14 years ago
- io-language engine for javascript☆13Apr 29, 2011Updated 15 years ago