Status: Research
Operating system
FortiFind AI OS
A long-term project for a Linux-based desktop operating system with integrated AI and security.
Systems & Operating Systems
Programming-language research
MBA Language
MBA is a research language for defensive security engineering, digital forensics, network analysis and security automation. Its design priorities are explicit permissions, predictable behavior, strong typing, safe resource access and clear diagnostics.
Where it stands
Research
Draft 0.1 of the specification exists. The compiler has not been built.
- Concept
- Research(current status)
- Prototype
- Development
- Beta
- Production
MBA Language
Source: Project roadmap, specification draft 0.1- M0Executable bootstrapIn progress
- M1Front-end hardeningNot started
- M2Language core v0.2Not started
- M3Typed IR and backend boundaryNot started
- M4Native backend prototypeNot started
- M5Capability and sandbox foundationsNot started
- M6Defensive security standard libraryNot started
- M7Developer toolingNot started
- M8Readiness and ecosystemNot started
Verified
What works today
No capabilities are listed as verified yet. This page will list them once they have been built and checked.
Not available today
Planned
Intended direction. These are not available today.
- A minimal compiler to validate the toolchain
- Explicit permission declarations
Important
- A research specification. Not suitable for production use.
MBA Language
Questions about MBA Language?
Ask about its status, what it will do, or how to follow its progress.