midspiral
Change the repository type filter
All
Repositories list
35 repositories
lemmascript-kit
PublicLemmaScript
Publicverification toolchain for TypeScript (Tech Preview)lemmascript-skills
Public- eslint plugin verified with LemmaScript
rallly-lemmascript
PublicLemmaScript case study: Rallly is an open-source scheduling and collaboration tool designed to make organizing events and meetings easier.xyflow-lemmascript
PublicLemmaScript case study of React Flow | Svelte Flow - Powerful open source libraries for building node-based UIs with React (https://reactflow.dev) or Svelte (ht…henri-lemmascript
Publiclemmascript-landing
Publiclemmascript-vscode
PublicVS Code extension for LemmaScriptpi-lemmascript
PublicLemmaScript case study of Pi: AI agent toolkit: coding agent CLI, unified LLM API, TUI & web UI libraries, Slack bot, vLLM podsopencode-lemmascript
PublicLemmaScript case study of OpenCode: The open source coding agent.flue-lemmascript
PublicLemmaScript case study of flue: The sandbox agent framework.lemmascript-claimcheck
Publicnode-casbin-lemmascript
PublicLemmaScript case study of node-casbin: An authorization library that supports access control models like ACL, RBAC, ABAC in Node.js and Browserinfisical-lemmascript
Publichono-lemmascript
PublicLemmaScript case study of hono: Web framework built on Web Standardsquorum-lemmascript
PublicLemmaScript case study of an app to find the time that workseventab-lemmascript
PublicLemmaScript case study: split the tab, evenquota-lemmascript
PublicLemmaScript case study of an app to book slots offered per page by providerslemmascript-seal
Public- a formally-verified rate limiter for Hono written in LemmaScript
collab-todo-lemmascript
Publicguardians-lemmascript
Publictrace-solo-lemmascript
PublicLemmaScript case study: play (solo) games and record training datatalktimer-lemmascript
PublicLemmaScript case study: an app to time and practice talks- LemmaScript case study of a CLI to check star counts on GitHub
- LemmaScript case study of a game where the goal is to make two sides equal
colorwheel-lemmascript
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.