Skip to content

Commit e955bc0

Browse files
Create README.md
1 parent 238b896 commit e955bc0

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

README.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
2+
A full-stack, open-source paradigm for building verifiably-compliant, secure, and sustainable systems. This is the official hub for the MAA Framework, its reference language Oblíbený, and its Aletheia microkernel.
3+
4+
#maa, #security, #formal-verification, #ai-ethics, #dependability, #language-design, #compiler, #microkernel, #risc-v, #sustainability, #economics-as-code, #distributed-computing, #rust, #web-protocol, #axiology, #boinc, #reversibility, #turning-complete, #turing-incomplete

0 commit comments

Comments
 (0)