Stars
An Model Context Protocol (MCP) server that provides LLMs/AI Agents with the capabilities of a language server protocol (LSP) server. This gives the AI the ability to get language aware context fro…
cmu-soda / carini
Forked from cmu-soda/recomp-verifyThis tool synthesizes symbolic assumptions for TLA+ specifications.
aider is AI pair programming in your terminal
Creusot helps you prove your code is correct in an automated fashion.
Stateless CLI tool to sync calendars across different calendaring systems.
Some experiments in making exercises for teaching TLA+
GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
An unofficial Google Nearby Share/Quick Share app for macOS
Syntax highlighting for TLA+ in highlightjs
Self-hosted GitHub Actions runners made simple. For AWS. 10x cheaper, 30% faster, and unlimited caching. Best alternative to Actions Runner Controller.
A simple CalDAV (calendar) and CardDAV (contact) server.
Applying Prophecy variables in TLA+ to the Herlihy & Wing paper
High Performance Inter-Thread Messaging Library
Supply Chain Integrity Transparency and Trust ledger application using Confidential Consortium Framework (CCF)
TLA+ model checking guided testing for distributed systems
Reproduce a Java 21 virtual threads deadlock scenario in TLA+
APALACHE: symbolic model checker for TLA+ and Quint
arXiv LaTeX Cleaner: Easily clean the LaTeX code of your paper to submit to arXiv