Programming Languages and CompilersSoftware implementationMaturity: Implemented
λ-Safe Compiler
The λ-Safe Compiler is the publicly available compiler implementation of the λ-safe direction, published as an Apache-2.0 repository. Its stated scope is deliberately narrow: a bounded class of hard invariants is checked, the checked/not-checked boundary is recorded, and unsupported mandatory obligations are refused. Internal compiler and solver mechanisms are not published on this site.
The compiler implements a bounded fragment, not general-purpose verification. It is not claimed to be production qualified, independently benchmarked or capable of expressing arbitrary obligations. The published research framework and the compiler are separate artefacts with separate evidence.
- Author
- George Ocharo Onchaba
Programming Languages and CompilersResearch directionMaturity: Research
ChaosLang
ChaosLang is recorded as a proposed language research direction concerned with describing chaotic or uncertain system behaviour in a form that can be constrained. It is a research concept, not a language with a published grammar or implementation.
No public release, package, specification or compiler is claimed here. It is listed so the direction is documented and can mature into a testable design proposal.
- Author
- George Ocharo Onchaba
Programming Languages and CompilersResearch directionMaturity: Research
Felt Lang
Felt Lang is recorded as a language concept within the programming-languages research line. This registry entry documents the direction; it does not assert a syntax, a type system, an implementation or a public release.
No publication, DOI or downloadable artefact is claimed. The entry exists so the concept is discoverable at its actual maturity.
- Author
- George Ocharo Onchaba
Programming Languages and CompilersResearch directionMaturity: Research
Morio
Morio is recorded as a language research concept in the programming-languages line. The entry states that a direction exists; it does not claim a published specification, a working compiler or a public release.
No benchmark, adoption or availability claim is made. The concept can be developed into a specification or retired as the research line evolves.
- Author
- George Ocharo Onchaba
Programming Languages and CompilersResearch directionMaturity: Research
Nguna
Nguna is recorded as a language research concept in the programming-languages line. The registry entry records the direction and its current maturity, which is research.
No implementation, public package, specification or evaluation result is claimed. Nothing on this page should be read as an announcement of an available language.
- Author
- George Ocharo Onchaba
Programming Languages and CompilersResearch directionMaturity: Research
CIR
CIR is recorded as an intermediate-representation research concept within the language and compiler line. The acronym is not expanded here because no public definition is published; inventing one would overstate the record.
No specification, implementation, package or public release is claimed. The entry records a research direction at research maturity.
- Author
- George Ocharo Onchaba
Programming Languages and CompilersResearch directionMaturity: Research
Chaos Chain
Chaos Chain is recorded as a research concept within the language and compiler line. It is listed as a direction, not as a protocol with a published specification or an implementation.
No public availability, security property, consensus result or evaluation claim is made. The entry documents the concept at research maturity only.
- Author
- George Ocharo Onchaba
