midspiral
Pinned Loading
Repositories
- github-star-checker-lemmascript Public
LemmaScript case study of a CLI to check star counts on GitHub
- 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.
- 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.
- lemmascript-claimcheck Public
claimcheck for LemmaScript, comparing informal //@ contract with formal //@ requires and //@ ensures
- balanced-match-lemmascript Public Forked from juliangruber/balanced-match
LemmaScript case study of balanced-match: Match balanced character pairs, like { and }
- optimist-lemmascript Public
LemmaScript case study of a verified optimizing compiler for a tiny language
