Search 11 packages
| Packages1–11 of 11 | Version | Risk | Vulns | Description | Downloads | When |
|---|
| typedown-lang cargo | 0.45.0 | none | none | Typedown language: Parser, typechecker, and evaluation engine | 2.1K | 1d ago |
| flowlog-parser cargo | 0.4.0 | none | none | Parser and typechecker for the FlowLog Datalog language. | 277 | 1d ago |
| snapfire_typecheck cargo | 0.2.0 | none | high | Typecheck a TypeScript project against a pinned tsc. No NodeJS required. | 21 | 3d ago |
| obfusku-fmt cargo | 1.1.0 | none | none | Formatter over obfusku-syntax's surface AST. No dependency on obfusku-core, obfusku-typecheck, or obfusku-runtime. | 31 | 3d ago |
| obfusku-runtime cargo | 1.1.0 | none | none | Execution over obfusku-core's Core AST. Deliberately independent of obfusku-syntax and obfusku-typecheck. | 33 | 3d ago |
| obfusku-typecheck cargo | 1.1.0 | none | none | Type checking against obfusku-core's AST. Never depends on obfusku-syntax or obfusku-runtime. | 33 | 3d ago |
| ulua-analyze-cli cargo | 0.1.7 | none | none | Standalone Luau type-checker CLI (Rust). | 79 | 10d ago |
| ulua cargo | 0.1.7 | none | none | Pure Rust Luau compiler, register VM, and type checker | 111 | 10d ago |
| typeck-lang cargo | 0.3.0 | none | none | Profile-driven type checking over HIR: dynamic, gradual, static (generics, traits, inference), and Hindley-Milner from one checker. | 26 | 11d ago |
| ulua-checked-macros cargo | 0.1.7 | none | none | Compile-time checked Luau source macros for ulua. | 76 | 12d ago |
| ulua-analysis cargo | 0.1.7 | none | none | Luau type checker and type inference (Rust). | 196 | 12d ago |
