https://github.com/aripiprazole/zure
🧪 | Zure is the remake of Zu but without rigid and unstable types
https://github.com/aripiprazole/zure
compiler compiler-design cranelift dependent-types jit js llvm rust type-theory
Last synced: 2 months ago
JSON representation
🧪 | Zure is the remake of Zu but without rigid and unstable types
- Host: GitHub
- URL: https://github.com/aripiprazole/zure
- Owner: aripiprazole
- Created: 2023-09-10T01:13:44.000Z (almost 3 years ago)
- Default Branch: main
- Last Pushed: 2023-10-18T18:40:47.000Z (over 2 years ago)
- Last Synced: 2025-10-22T11:43:12.984Z (8 months ago)
- Topics: compiler, compiler-design, cranelift, dependent-types, jit, js, llvm, rust, type-theory
- Language: Rust
- Homepage:
- Size: 67.4 KB
- Stars: 1
- Watchers: 0
- Forks: 2
- Open Issues: 1
-
Metadata Files: