Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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: about 1 month 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 (almost 3 years ago)
- Default Branch: main
- Last Synced: 2024-02-10T14:00:01.457Z (5 months ago)
- Stars: 0
- Forks: 0
- Open Issues: 0
Lists
- 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)