verification toolchain for TypeScript (Tech Preview)
-
Updated
Sep 20, 2026 - TypeScript
#
lemmascript
Here are 32 public repositories matching this topic...
LemmaScript case study of Pi: AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
-
Updated
Sep 20, 2026 - TypeScript
The prover proves the present; the seal protects the past. An append-only freeze for verified contracts.
-
Updated
Jul 3, 2026 - TypeScript
LemmaScript case study of an app to find the time that works
-
Updated
Aug 6, 2026 - TypeScript
LemmaScript case study of henri: a small, hackable agent CLI, with explicit control via tools, permissions, and hooks
-
Updated
Sep 23, 2026 - TypeScript
LemmaScript case study of a game where the goal is to make two sides equal
-
Updated
Sep 2, 2026 - Dafny
LemmaScript case study of hono: Web framework built on Web Standards
-
Updated
Aug 8, 2026 - TypeScript
Reproducible Claude Code runs for the LemmaScript Dafny proof-completion benchmark
-
Updated
Sep 22, 2026 - JavaScript
LemmaScript case study of a CLI to check star counts on GitHub
-
Updated
Sep 1, 2026 - TypeScript
LemmaScript case study of OpenCode: The open source coding agent.
-
Updated
Aug 8, 2026 - TypeScript
LemmaScript case study of a core of "Guardians of the Agents" (Meijer, CACM 2026)
-
Updated
Aug 6, 2026 - TypeScript
a formally-verified rate limiter for Hono written in LemmaScript
-
Updated
Jul 2, 2026 - Dafny
LemmaScript case study: an app to time and practice talks
-
Updated
Aug 6, 2026 - Dafny
LemmaScript case study: play (solo) games and record training data
-
Updated
Aug 6, 2026 - TypeScript
LemmaScript case study of flue: The sandbox agent framework.
-
Updated
Aug 8, 2026 - TypeScript
LemmaScript case study of the official TypeScript SDK for Model Context Protocol servers and clients
-
Updated
Aug 8, 2026 - TypeScript
Add this topic to your repo
To associate your repository with the lemmascript topic, visit your repo's landing page and select "manage topics."