LabLambWorks

Popular repositories Loading

1. mobile-dev-challenge mobile-dev-challenge Public

   TypeScript 2 20

2. alloy6-skill alloy6-skill Public

   An AI skill for modeling, analyzing, and verifying systems with Alloy 6.

   Python

3. invariant-discovery-skill invariant-discovery-skill Public

   A portable AI skill for discovering, classifying, and challenging invariants in any modeled system.

4. autotomy-lite autotomy-lite Public

   Free MIT Expo shell with signed release provenance. Clone and run now; Starter purchases and hosted downloads are not open yet.

   TypeScript

5. autotomy-cli autotomy-cli Public

   MIT-licensed CLI for installing, verifying, and maintaining Autotomy Expo projects.

   TypeScript