Formal specification of Resonate, written in Lean 4
☆25Oct 15, 2026Updated 3 weeks ago
Alternatives and similar repositories for resonate-specification
Users that are interested in resonate-specification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Resonate Durable Execution in a single SQL file☆13Aug 28, 2026Updated 2 months ago
- WAL-backed block storage for QEMU/KVM. Fast local writes, durable S3-backed volumes, snapshots and encryption, served over NBD.☆14Updated this week
- RealWorld in Lean 4☆12Oct 14, 2026Updated 3 weeks ago
- ☆17Mar 21, 2022Updated 4 years ago
- Open a finder dialog window (finder prompt) programmatically.☆11Jun 8, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- The Solana complex systems simulator.☆17Feb 7, 2022Updated 4 years ago
- Railway Oriented Programming in PHP☆10Nov 14, 2014Updated 11 years ago
- Throttling / IP banning library for Ring-compatible Clojure apps based on Kickstarter's Rack::attack☆11Oct 9, 2013Updated 13 years ago
- An Example of using Wit-Bindgen☆10May 25, 2022Updated 4 years ago
- ☆22Updated this week
- An Emacs major mode for Wisp - the Lisp -> JavaScript compiler.☆13Jul 20, 2017Updated 9 years ago
- Scale-to-zero NAT instances for AWS☆12Nov 1, 2026Updated last week
- High Performance TiDB 课程学习记录☆20Sep 9, 2020Updated 6 years ago
- Collaborative coding in real time☆10Aug 10, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆10Jan 24, 2016Updated 10 years ago
- thread-per-core layer cache implementation☆17Oct 19, 2026Updated 3 weeks ago
- Demystifying the magic of supertactics☆13Nov 2, 2021Updated 5 years ago
- Python dictionary with dot notation☆12Apr 14, 2026Updated 6 months ago
- Drop-dead simple keypress event emitter and handler for Node.js. Create powerful CLI applications and experiences with ease. This library…☆18Oct 12, 2026Updated 3 weeks ago
- ☆14Jun 9, 2023Updated 3 years ago
- PostgreSQL DDL comparing tool☆12May 24, 2019Updated 7 years ago
- Port of the code from Typing Haskell in Haskell to Rust☆13Nov 10, 2013Updated 13 years ago
- ☆17Apr 17, 2018Updated 8 years ago
- 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.
- A parser and evaluator for Rust cfg() expressions. Targets as of Rust 1.96.0 are supported.☆47Oct 19, 2026Updated 3 weeks ago
- Python client for Google Kaniko☆11Jul 19, 2022Updated 4 years ago
- Graph model execution API for Candle☆19Jul 27, 2025Updated last year
- Rust Back testing framework for Databento☆23Mar 14, 2026Updated 7 months ago
- Modern, opinionated, and gas optimized building blocks for smart contract development.☆12Mar 23, 2022Updated 4 years ago
- Extension of the Kohana Framework, adding commonly used features for faster development.☆13Mar 10, 2016Updated 10 years ago
- Zod utility for parsing search params☆15Jan 13, 2026Updated 9 months ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 9 years ago
- Lightweight dockerized SMB server exposed to Tailscale for sharing folders with friends☆11May 28, 2022Updated 4 years ago
- 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.
- ☆11Jul 18, 2017Updated 9 years ago
- ☆10Feb 22, 2018Updated 8 years ago
- ✨ Nuxt 3 wrapper for Lenis☆16Mar 26, 2025Updated last year
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 9 years ago
- Source for the GitHub Pages for Ion.☆26Oct 25, 2026Updated 2 weeks ago
- An async JSON-RPC 2.0 crate written in Rust.☆14Oct 26, 2022Updated 4 years ago
- A minimalistic code editor, inspired by Monaco/VSCode, based on Ace & written in Arturo☆12Jan 9, 2026Updated 10 months ago
Are these results useful?