Formal specification of Resonate, written in Lean 4
☆24Oct 15, 2026Updated this week
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:
- AI 时代，寻回写代码的乐趣☆32Jul 20, 2026Updated 3 months ago
- The event continuation language☆28Updated this week
- A correctness-first SCXML 1.0 interpreter (ECMAScript data model) with custom elements for interactive statecharts☆25Oct 10, 2026Updated last week
- Hop3 - Open source platform as a service: deploy and manage your applications seamlessly☆16Sep 28, 2026Updated 3 weeks ago
- ☆17Mar 21, 2022Updated 4 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.
- Some Clojure library projects...☆14Jul 30, 2009Updated 17 years ago
- A simple events-system for Kohana 3.x☆11Dec 12, 2012Updated 13 years ago
- Simple clojure library to slugify arbitrary strings☆10Sep 21, 2016Updated 10 years ago
- Light Dependency Injection Container for PHP >= 5.2☆14Mar 10, 2013Updated 13 years ago
- ☆18Oct 9, 2026Updated last week
- Kohana support (Database, ORM, ORM-REST, Dispatch) for the ever so popular jQuery table plugin, DataTables. This is a wrapper for Paginat…☆22Mar 29, 2017Updated 9 years ago
- ☆32Updated this week
- JS with Types 💪☆13Jan 8, 2025Updated last year
- Optimized GitHub skill for coding agents: fewer tool calls, less context burned, lower cost, faster answers. One bounded call each for PR…☆51Sep 26, 2026Updated 3 weeks 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.
- thread-per-core layer cache implementation☆17Updated this week
- An Example of using Wit-Bindgen☆10May 25, 2022Updated 4 years ago
- Zig AI Coding Assistant — multi-provider LLM agent CLI with tool calling☆22Feb 12, 2026Updated 8 months ago
- A dual CLJS + CLJ REPL technical study with Cursive and CIDER☆13Feb 1, 2017Updated 9 years ago
- A simple Kohana 3 module designed to capture messages from different methods and modules to be displayed later with a unified look and fe…☆12May 25, 2012Updated 14 years ago
- Web form library for PHP☆13May 2, 2024Updated 2 years ago
- Java-based open-source and versatile simulation platform for education and research-driven experiments in evolutionary robotics (ER)☆12Jun 2, 2023Updated 3 years ago
- A repository for different algorithms☆13Nov 8, 2013Updated 12 years ago
- A PSR-7 compliant ADR framework☆14Nov 1, 2016Updated 9 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.
- Rust implementation of Ion Schema☆13Jun 26, 2026Updated 3 months ago
- High Performance TiDB 课程学习记录☆20Sep 9, 2020Updated 6 years ago
- PostgreSQL Client for the JVM☆15Aug 2, 2018Updated 8 years ago
- My Advent of Code 2019 solutions (in Rust, of course). Not guaranteed to be done each day or totally completed.☆21Mar 10, 2021Updated 5 years ago
- GPT: Rust Assistant. Your go-to expert in the Rust ecosystem, specializing in precise code interpretation, up-to-date crate version check…☆19Mar 4, 2025Updated last year
- PostgreSQL DDL comparing tool☆12May 24, 2019Updated 7 years ago
- Collaborative coding in real time☆10Aug 10, 2020Updated 6 years ago
- ☆12Mar 7, 2018Updated 8 years ago
- Graph model execution API for Candle☆19Jul 27, 2025Updated last year
- 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.
- Extension of the Kohana Framework, adding commonly used features for faster development.☆13Mar 10, 2016Updated 10 years ago
- A Pattern for simple Event-Driven Virtual Stylesheets: 100% CSS plus the expressive power of JavaScript☆11Nov 23, 2017Updated 8 years ago
- Zod utility for parsing search params☆15Jan 13, 2026Updated 9 months ago
- ☆17Apr 17, 2018Updated 8 years ago
- Source for the GitHub Pages for Ion.☆26Updated this week
- Code examples from Zionomicon ported to Effect☆13Feb 5, 2025Updated last year
- ☆14Jun 9, 2023Updated 3 years ago