Pinned Loading

1. elenchus elenchus Public

   Tiny consistency checker for LLM-written reasoning. Three-valued SAT: it tells you whether your facts contradict each other — consistency, not truth. Built with LLMs, for LLMs. Beta.

   Rust

2. pi-code-planner pi-code-planner Public

   Structured planning, bounded memory, TDD, and Git guardrails for local coding models in Pi Code (I don't know TypeScript at all; this is mostly a local-model experiment, with occasional help from C…

   TypeScript 3

3. w3b2-solana w3b2-solana Public

   Simple Rust toolkit for Web2 ↔ Solana integration

   Rust 1

4. approx_int approx_int Public

   A compact representation of numbers using a tuple (u8, u8, bool) for efficient approximation and storage.

   Rust

5. flexible_inspect flexible_inspect Public

   The Flexible_inspect is a tool for checking the correctness of data in string and byte formats.

   Rust 12