midspiral
We build tools that prove your AI code is correct.
Pinned Loading
Repositories
Showing 10 of 27 repositories
- quota-lemmascript Public
LemmaScript case study of an app to book slots offered per page by providers
midspiral/quota-lemmascript’s past year of commit activity - henri-lemmascript Public
LemmaScript case study of henri: a small, hackable agent CLI, with explicit control via tools, permissions, and hooks
midspiral/henri-lemmascript’s past year of commit activity - 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.
midspiral/xyflow-lemmascript’s past year of commit activity - equality-game-lemmascript Public
LemmaScript case study of a game where the goal is to make two sides equal
midspiral/equality-game-lemmascript’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…