https://github.com/ReubenHillyard/beta

Dependently-typed programming language.
https://github.com/ReubenHillyard/beta

cubical-type-theory dependent-types homotopy-type-theory programming-language

Last synced: about 1 month ago
JSON representation

Dependently-typed programming language.

• Host: GitHub
• URL: https://github.com/ReubenHillyard/beta
• Owner: ReubenHillyard
• Created: 2023-06-29T13:11:57.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2023-09-29T21:36:23.000Z (9 months ago)
• Last Synced: 2024-02-11T13:59:54.587Z (5 months ago)
• Topics: cubical-type-theory, dependent-types, homotopy-type-theory, programming-language
• Language: Rust
• Homepage: https://reubenhillyard.github.io/beta/
• Size: 179 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-rust-formalized-reasoning - beta - dependently-typed programming language, aiming to support a cubical interpretation of univalence. (Programming Language / Libraries)

README

        
# beta

A dependently-typed programming language, aiming to support safe mutable state and a cubical interpretation of univalence.