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

Dependently-typed row-polymorphic programming language, evolved from minitt-rs
https://github.com/owo-lang/voile-rs

dependent-types extensible programming-language type-theory

Last synced: 6 months ago
JSON representation

Dependently-typed row-polymorphic programming language, evolved from minitt-rs

• Host: GitHub
• URL: https://github.com/owo-lang/voile-rs
• Owner: owo-lang
• License: apache-2.0
• Created: 2019-03-29T20:10:50.000Z (over 6 years ago)
• Default Branch: master
• Last Pushed: 2020-09-21T17:15:34.000Z (about 5 years ago)
• Last Synced: 2024-05-22T22:31:32.797Z (over 1 year ago)
• Topics: dependent-types, extensible, programming-language, type-theory
• Language: Rust
• Homepage:
• Size: 818 KB
• Stars: 94
• Watchers: 12
• Forks: 5
• Open Issues: 2
• Metadata Files:
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - Voile - util):star::zzz: - became Narc. (Programming Language / Libraries)