midspiral
We build tools that prove your AI code is correct.
Pinned Loading
Repositories
Showing 10 of 35 repositories
- henri-lemmascript Public
LemmaScript case study of henri: a small, hackable agent CLI, with explicit control via tools, permissions, and hooks
- xyflow-lemmascript Public Forked from xyflow/xyflow
LemmaScript case study of React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (https://svelteflow.dev). Ready out-of-the-box and infinitely customizable.
- rallly-lemmascript Public Forked from lukevella/rallly
LemmaScript case study: Rallly is an open-source scheduling and collaboration tool designed to make organizing events and meetings easier.
- pi-lemmascript Public Forked from earendil-works/pi
LemmaScript case study of Pi: AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM pods
Top languages
Loading…
Most used topics
Loading…