A machine tool for agents: a verified runtime for systems agents build.
☆37Jul 14, 2026Updated this week
Alternatives and similar repositories for temper
Users that are interested in temper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- CLEVER: Code Lean Evaluation for Verified End-to-end Reasoning☆46Apr 3, 2026Updated 3 months ago
- MultiPaxos and Disk Paxos in TLA+ and PlusCal☆13Jan 23, 2023Updated 3 years ago
- ☆11Apr 1, 2021Updated 5 years ago
- On the correctness of Egalitarian Paxos☆19Jun 27, 2019Updated 7 years ago
- Collection of Distributed Protocol Verification Problems☆15Apr 27, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- TLA+ specification of Fast Flexible Paxos☆17Oct 9, 2020Updated 5 years ago
- Governed local runtime for AI coding agents: task lifecycle, mandatory gates, reviews, doc-impact checks, and auditable completion.☆24Jul 8, 2026Updated last week
- ☆17Sep 13, 2021Updated 4 years ago
- 🛡️ Programmable Guardrails for LLM Applications in Java. A framework-agnostic toolkit for input/output validation, PII masking, and jail…☆17Apr 15, 2026Updated 2 months ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆34Apr 7, 2026Updated 3 months ago
- A reverse engineered implementation of "The World Ends With You" for the Nintendo DS☆22Jul 8, 2026Updated last week
- A crawler for kernel releases distributed by the major Linux distributions.☆13Oct 18, 2024Updated last year
- Firmware for the ESP32 wearable watch called Piko☆15May 27, 2025Updated last year
- Platos is the only runtime infrastructure you will need to deploy, monitor and manage agents in production!☆21Updated this week
- 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.
- IC3PO: IC3 for Proving Protocol Properties☆28Sep 10, 2024Updated last year
- arm9loaderhax Linux Loader for the Nintendo 3DS☆12May 20, 2017Updated 9 years ago
- Ansible playbooks to provision firecracker VMs and run Falco kernel tests☆15Mar 2, 2026Updated 4 months ago
- Implements an RSA keyslot recovery attack on the 3DS's hardware RSA engine.☆12Jan 11, 2017Updated 9 years ago
- Kubernetes Operator for Falco☆39Updated this week
- Runtime economic governance for AI agents. Circuit Breaker adds risk-managed execution, cost ceilings, and kill switches to autonomous AI…☆30Jun 23, 2026Updated 3 weeks ago
- The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…☆27May 25, 2021Updated 5 years ago
- TokSuan — AI spend control plane for agents☆15Jul 7, 2026Updated last week
- Governed AI agent runtime with a local-first desktop app + CLI. Chat with any model (Claude, OpenAI, Groq, Ollama, LM Studio); every acti…☆17Jun 13, 2026Updated last month
- 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.
- Falco plugins SDK for Go☆26Jun 29, 2026Updated 2 weeks ago
- [⚡️] The open‑source managed agent runtime platform.☆16Updated this week
- LLM structural reasoning validation via gamma exposure analysis in options markets. Papers 1 & 2 complete. Digital Finance (Springer) sub…☆25May 24, 2026Updated last month
- Agentic research control plane: queue state, worker preflight, wake-gated execution, evidence sync, dashboard, alerts, and AI-generated p…☆16Updated this week
- Provide full security provenance and agent attestations from source to runtime☆26Jun 28, 2026Updated 2 weeks ago
- EOS Wallet with keychain storage☆17May 1, 2018Updated 8 years ago
- An intelligent pattern-matching tool for analyzing publicly available Congressional financial disclosure documents using AI-powered optic…☆17May 16, 2026Updated last month
- An SSH honeypot written entirely in Go.☆14Dec 4, 2025Updated 7 months ago
- Python implementation of TPC-C☆154Mar 21, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- eBPF Security Monitoring and Sandboxing Agent Based on Aya☆53Jul 8, 2026Updated last week
- TLA+ Spec of a simplified part of MongoDB replication system☆49Nov 23, 2019Updated 6 years ago
- Post-quantum trusted time-stamping server☆17Dec 11, 2024Updated last year
- 3DS library for using the sdmmc code in the unprotected ARM9-bootrom.☆20Mar 23, 2022Updated 4 years ago
- A simple MacOS helper for safer exposure of secrets to your agents☆15Updated this week
- Reading the linearizability paper with TLA+☆53Apr 24, 2022Updated 4 years ago
- Direct Reaction And Dynamic Intelligence System — Low-latency Rust prediction-market trading bot for Polymarket. 8 autonomous strategies …☆17Updated this week