atsiser 0.1.0

Wrap C codebases in ATS linear types for zero-cost memory safety without rewrites
Documentation 
1
2
3
4
5
6
7
8
9
10
11

# SPDX-License-Identifier: PMPL-1.0-or-later
---
### [META]
id: "theory-unit-computing"
level: 3
parent: "../0.2-AI-MANIFEST.a2ml"

---
### [AI_MANIFEST]
description: |
  Theoretical foundation for computing.