midspiral
Pinned Loading
Repositories
- lemmascript-dafny-benchmark-runs Public
Reproducible Claude Code runs for the LemmaScript Dafny proof-completion benchmark
- balanced-match-lemmascript Public Forked from juliangruber/balanced-match
LemmaScript case study of balanced-match: Match balanced character pairs, like { and }
- 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.
- mcp-sdk-lemmascript Public Forked from modelcontextprotocol/typescript-sdk
LemmaScript case study of the official TypeScript SDK for Model Context Protocol servers and clients
- node-casbin-lemmascript Public Forked from apache/casbin-node-casbin
LemmaScript case study of node-casbin: An authorization library that supports access control models like ACL, RBAC, ABAC in Node.js and Browser
- hono-lemmascript Public Forked from honojs/hono
LemmaScript case study of hono: Web framework built on Web Standards
- flue-lemmascript Public Forked from withastro/flue
LemmaScript case study of flue: The sandbox agent framework.
Top languages
Loading…
Most used topics
Loading…