LambdaAlpha

Focusing on developing AGI and programming language.

Pinned Repositories

air-main
The main library of the Air programming language
1 2 00
airagi
The Air artificial general intelligence is an experimental AGI project. Its main goals are universality and optimality.
Language:Rust2 2 00
airagi-doc
An experimental AGI
1 2 00
airlang
The document is a bit outdated because the language is still rapidly developing.
4 2 00
airlang_rs
The Air programming language is carefully designed to solve programming problems once and for all.
Language:Rust10 2 00

LambdaAlpha's Repositories

LambdaAlpha/airlang_rs
The Air programming language is carefully designed to solve programming problems once and for all.
Language:Rust10 2 00
LambdaAlpha/airlang
The document is a bit outdated because the language is still rapidly developing.
4 2 00
LambdaAlpha/airagi
The Air artificial general intelligence is an experimental AGI project. Its main goals are universality and optimality.
Language:Rust2 2 00
LambdaAlpha/air-main
The main library of the Air programming language
1 2 00
LambdaAlpha/airagi-doc
An experimental AGI
1 2 00
LambdaAlpha/a-book
LambdaAlpha/air-main-ext
The extended main library of the Air programming language.
2 0
LambdaAlpha/logical-foundations-exercises
Language:Coq2 0
LambdaAlpha/olang
An experimental artificial language with the goal of being easy to learn
Language:Python2 0
LambdaAlpha/programming-language-foundations-exercises
Language:Coq2 0
LambdaAlpha/rt-own
runtime ownership: owner, sharer and holder
Language:Rust2 0