GitHub - lostadi/OSTADIX: Recursive evaluator composition, polyglot execution, and evidence-bound graph scheduling, with the O-core systems language and OKernel.

Name		Name	Last commit message	Last commit date
.github		.github
Olang_Mascot_little-o/little-o		Olang_Mascot_little-o/little-o
apps		apps
assets		assets
backends		backends
benchmarks		benchmarks
c_cpp		c_cpp
ci		ci
crates/ostadix-api		crates/ostadix-api
docs		docs
evidence		evidence
examples		examples
fuzz		fuzz
mcp/ostadix_lang_mcp_server		mcp/ostadix_lang_mcp_server
o_lang		o_lang
ocore		ocore
okernel-multikernel		okernel-multikernel
ostadix-demo-assets		ostadix-demo-assets
output		output
scripts		scripts
setup/os		setup/os
src		src
tests		tests
tools		tools
.dockerignore		.dockerignore
.gitignore		.gitignore
.mcp.json		.mcp.json
AGENTS.md		AGENTS.md
ARCHITECTURE.md		ARCHITECTURE.md
CHANGELOG.md		CHANGELOG.md
CITATION.cff		CITATION.cff
CODE_OF_CONDUCT.md		CODE_OF_CONDUCT.md
CONTRIBUTING.md		CONTRIBUTING.md
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
DEVELOPMENT.md		DEVELOPMENT.md
Dockerfile		Dockerfile
INVENTORY.md		INVENTORY.md
LICENSE		LICENSE
NOTICE		NOTICE
ORIGIN.md		ORIGIN.md
Ostadix-lang_Technical_Whitepaper.pdf		Ostadix-lang_Technical_Whitepaper.pdf
README.md		README.md
SECURITY.md		SECURITY.md
SPEC.md		SPEC.md
big_iron_to_my_texas_red.sh		big_iron_to_my_texas_red.sh
big_iron_to_my_texas_red.sh.1		big_iron_to_my_texas_red.sh.1
boot-and-test.sh		boot-and-test.sh
guix.O		guix.O
llms.txt		llms.txt
o-node-quickstart.sh		o-node-quickstart.sh
olang-c-backend.patch		olang-c-backend.patch
ostadix-lang-info.md		ostadix-lang-info.md
plan9		plan9
rust-toolchain.toml		rust-toolchain.toml
setup.sh		setup.sh
test_o_lang_examples.sh		test_o_lang_examples.sh