Sequel

Pinned Loading

1. tesota tesota Public

   A coding agent that checks its code, challenges its specs, and flags where they may miss your request.

   TypeScript 3

2. accord accord Public

   A programming language whose compiler proves what the code promises (experimental)

   Rust

3. mortar mortar Public

   Java-first, refactor-safe, SQL-transparent queries for Spring and PostgreSQL.

   Java

4. quint-check quint-check Public

   A Java-free Quint model checker for Node: Quint's frontend, a fail-closed translation to TLA+, and tla-ts

   TypeScript 1

5. vigil vigil Public

   JWT authentication for Spring Boot with secure token lifecycle, cookies, RS256, JWKS, and revocation.

   Java

6. zed-theme zed-theme Public

   Sequel Ink and Sequel Void themes for the Zed editor

   JavaScript