A

A Low-Level Liquid Type System for Memory Safety

Project information

This project provides a type checker for the NanoC language.

type-checking memory-safety liquid-types

191 Commits
9 Branches
0 Tags

README
BSD 3-Clause "New" or "Revised" License
GitLab Pages

Created on

April 12, 2021

Loading