Pinned Loading

1. specl specl Public

   A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.

   Rust 10

2. demo-fast-commit demo-fast-commit Public

   Zero-config CLI tool that analyses git diffs with an LLM and creates atomic conventional commits

   Python 1

3. demo-gmail-organiser demo-gmail-organiser Public

   Automatically classify and organize Gmail emails using LLM-powered categorization. Stateless, taxonomy-driven, runs incrementally.

   Python 2

4. demo-percolator demo-percolator Public

   TLA+ for percolator.

   TLA