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: about 1 month 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 5 years ago)
• Default Branch: master
• Last Pushed: 2020-09-21T17:15:34.000Z (almost 4 years ago)
• Last Synced: 2024-05-10T19:43:04.724Z (about 2 months ago)
• Topics: dependent-types, extensible, programming-language, type-theory
• Language: Rust
• Homepage:
• Size: 818 KB
• Stars: 93
• Watchers: 12
• Forks: 5
• Open Issues: 2
• Metadata Files:
  • Changelog: CHANGELOG.md
  • License: LICENSE

Lists

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