Evolving Programs
- 119 followers
- United States of America
- https://evolvingprograms.com
- @SpellcraftAI
Pinned Loading
Repositories
- erdos-simonovits-degeneracy Public
The Erdős–Simonovits degeneracy conjecture (Erdős problem #146) fails at every level: machine-checked Lean 4 counterexamples of degeneracy exactly r with ex(n;H) ≥ c·n^(2−1/r+1/(28r²)) for every r ≥ 2, and the sharp asymptotic law of the method with phase transition at Gibbs weight e
- context-management Public
Prompt-cache and context-window management for AI SDK apps: cache breakpoint placement, Anthropic context edits, tool-result truncation with recovery, and usage/cost accounting.
- ai-gateway-caching Public
Cache-rate harness for Vercel AI Gateway + Anthropic Opus 4.7. Measures what caching:'auto' leaves on the table.
- paperese Public
Markdown → LaTeX assembler for academic papers, in the legalese family. Short front-matter + pandoc-markdown body → arxiv-two-column .tex via the markdsl pipeline.
- markdsl Public
Markdown-DSL pipeline framework. Schema-driven values, prefix-dispatch markers, Pandoc AST walkers, and an in-source docx renderer.
- legalese Public
Installable Claude plugin for generating signable .docx legal documents (agreements, assignments, NDAs, schedules) from markdown — pure-TS library + bundled CLI.
- bun Public Forked from oven-sh/bun
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…