https://github.com/owo-lang/minitt-rs

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
https://github.com/owo-lang/minitt-rs

dependent-types programming-language type-theory

Last synced: about 1 month ago
JSON representation

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

• Host: GitHub
• URL: https://github.com/owo-lang/minitt-rs
• Owner: owo-lang
• License: apache-2.0
• Created: 2019-02-23T23:17:43.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2020-09-21T17:07:06.000Z (almost 4 years ago)
• Last Synced: 2024-05-11T00:22:52.904Z (about 2 months ago)
• Topics: dependent-types, programming-language, type-theory
• Language: Rust
• Homepage:
• Size: 336 KB
• Stars: 113
• Watchers: 10
• Forks: 2
• Open Issues: 7
• Metadata Files:
  • Changelog: CHANGELOG.md
  • License: LICENSE

Lists

• awesome-rust-formalized-reasoning - minitt-rs - util):star::skull: - became Voile. (Programming Language / Libraries)
• awesome-stars - owo-lang/minitt-rs - Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust (Rust)