https://gitlab.com/tekne/isotope-prover-experiments

An experiment in constructing a dependently-typed language with borrow-checking and advanced resource management capabilities built in, designed for use as an intermediate representation for building the next generation of systems languages.
https://gitlab.com/tekne/isotope-prover-experiments

Last synced: 1 day ago
JSON representation

An experiment in constructing a dependently-typed language with borrow-checking and advanced resource management capabilities built in, designed for use as an intermediate representation for building the next generation of systems languages.

• Host: gitlab.com
• URL: https://gitlab.com/tekne/isotope-prover-experiments
• Owner: tekne
• License: mit
• Archived: true
• Created: 2021-09-14T17:17:02.510Z (about 3 years ago)
• Default Branch: main
• Last Synced: 2024-05-22T21:35:31.123Z (6 months ago)
• Stars: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

• awesome-rust-formalized-reasoning - isotope-prover-experiments - proposal/-/blob/main/report.tex)[:lab_coat:](https://gitlab.com/isotope-project/msc-thesis/-/blob/master/thesis.tex):skull: - experimental dependently typed language supporting borrow checking. (Programming Language / Libraries)