agentic skills to write TLA+ specs or TLAPS proofs
☆21Jul 11, 2026Updated 3 months ago
Alternatives and similar repositories for agent-skills
Users that are interested in agent-skills 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 repository for sharing agent capabilities and expertise related to TLA+.☆42Feb 4, 2026Updated 8 months ago
- Formally proving complex protocols and systems using TLA+ Proof System (TLAPS)☆37Oct 20, 2026Updated last week
- simple web service in lean4☆18Jan 30, 2026Updated 8 months ago
- A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.☆23Jun 26, 2026Updated 4 months ago
- Some experiments in making exercises for teaching TLA+☆21May 7, 2025Updated last year
- 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.
- Valantis Stake Exchange AMM☆12Mar 26, 2026Updated 7 months ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆25Mar 3, 2026Updated 7 months ago
- ☆17Feb 14, 2026Updated 8 months ago
- ☆12Oct 28, 2024Updated last year
- tool for exploring regularly sampled time series data☆15Aug 6, 2026Updated 2 months ago
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 7 years ago
- ERC20 token swap using Uniswap router☆15Oct 2, 2024Updated 2 years ago
- TLA+ specification of the Ceph consensus algorithm☆24Jun 19, 2022Updated 4 years ago
- ☆11Mar 23, 2026Updated 7 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.
- Anti-spam Telegram bot☆10Jul 18, 2026Updated 3 months ago
- ☆17Jan 13, 2022Updated 4 years ago
- WAI Request Throttling Middleware☆17Oct 11, 2024Updated 2 years ago
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- Zil lang DSL for Lean 4☆34Updated this week
- Retrie is a powerful, easy-to-use codemodding tool for Haskell.☆17Oct 4, 2026Updated 3 weeks ago
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 2 months ago
- A Haskell Bittorrent Tracker. Uses snap for web, and handles UDP also.☆10Aug 4, 2021Updated 5 years ago
- Nix User Repository☆11Aug 18, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Haskell MQTT client.☆47Oct 13, 2026Updated last week
- ☆18Sep 12, 2026Updated last month
- hgg — Haskell Grammar of Graphics (declarative plotting).☆21Aug 13, 2026Updated 2 months ago
- ☆12Jul 15, 2024Updated 2 years ago
- purescript wrapper for Uber's deck.gl library☆11Mar 8, 2023Updated 3 years ago
- Demo SoC☆10Oct 17, 2023Updated 3 years ago
- Support for servant requests and responses via the 'streaming' library☆13Apr 19, 2019Updated 7 years ago
- A tiling window manager for Wayland, written and configured in Haskell.☆17Jul 2, 2026Updated 3 months ago
- The source code for isitdown.site web application.☆13Jun 12, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Deep evaluation of data structures without NFData☆10Jan 20, 2015Updated 11 years ago
- ☆32Sep 2, 2026Updated last month
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- Generic implementation of the Has pattern for MonadReader/MonadState and CoHas for MonadError☆15Jul 19, 2025Updated last year
- 🐙 discover Dicts☆14Jan 25, 2018Updated 8 years ago
- database & aggregate search engine for arbitration outcomes☆17Feb 3, 2020Updated 6 years ago