Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/firefighterduck/minihl

Formal methods playgorund for MiniHeapLang language.
https://github.com/firefighterduck/minihl

Last synced: about 2 months ago
JSON representation

Formal methods playgorund for MiniHeapLang language.

Host: GitHub
URL: https://github.com/firefighterduck/minihl
Owner: firefighterduck
Created: 2022-06-06T14:53:34.000Z (over 2 years ago)
Default Branch: main
Last Pushed: 2022-06-10T14:59:58.000Z (over 2 years ago)
Last Synced: 2024-05-22T22:30:41.243Z (4 months ago)
Language: Rust
Size: 22.5 KB
Stars: 0
Watchers: 1
Forks: 0
Open Issues: 0
Metadata Files:
- Readme: README

Awesome Lists containing this project

awesome-rust-formalized-reasoning - minihl - formal methods playgorund for MiniHeapLang language. (Programming Language / Libraries)

README

A simple toy implementation of the HeapLang language with a Hindley-Milner type system and an automatic solver for separation logic based program specifications (tbd).