Pinned Loading

1. curate-ipsum curate-ipsum Public

   A graph-spectral framework for verified code synthesis through belief revision

   Python

2. complexity-hints complexity-hints Public

   VS Code Extension with per-method asymptotic complexity hints via CodeLens

   C#

3. vscode-restiveclient vscode-restiveclient Public

   A more active REST Client Extension for Visual Studio Code, sporting, e.g., backward-compatible preprocessing of included files as request bodies.

   TypeScript

4. harmonic-measure-artifact harmonic-measure-artifact Public

   Latest PDF release of the harmonic measure convergence paper.

5. migrate migrate Public

   CLI tool for analyzing, comparing, and transforming database schemas across PostgreSQL, MySQL, and SQL Server

   Go

6. massive-context-mcp massive-context-mcp Public

   Handle massive contexts (10M+ tokens) with chunking, sub-queries, and free local inference via Ollama

   Python