Getting Started
- Installation & First Program -- install Geno, write and run your first program
- Language Tour -- types, functions, pattern matching, pipelines, traits
- Your First App -- build a JSON config reader step by step
- Todo App Tutorial -- build a complete todo app with ADTs and Result types
Reference
- Capability Reference -- what
--cap print,--cap fs, etc. unlock - Filesystem Metadata and Canonicalization -- portable stat, lstat, realpath, and path-policy behavior
- Common Pitfalls -- the top 10 mistakes and how to fix them
- Embedding API -- use Geno as a Python library
- Portable Runtime Semantics -- cross-backend numbers, copies, maps, and output
- LLM Prompting Guide -- system prompts and common LLM mistakes
- Language Specification (v0.5) -- normative syntax and semantics; v0.4 is the frozen contract for the 0.4 series
- Supported Targets -- compilation targets and builtin availability
- Benchmark Results -- published Geno-vs-Python results or current publication status
Deployment
- CLI Apps (Python / Node.js) -- compile and package CLI programs
- Browser Apps -- build HTML apps with
geno build - Hosted Runtime -- run
geno serveas an HTTP API
Runtime and Security
- Execution Surface -- API entry points and builtin families
- Backend Runtime Contracts -- manifest-derived backend and target behavior checks
- Security Review Notes -- dated focused security review
- Capability Reference -- capability model and target availability
Research and Benchmarks
- Benchmark Quality Criteria -- benchmark problem standards
- Benchmark Validation Contract -- corpus validation rules
- Benchmark Results -- current or historical performance results
- Performance Ratchets -- measured budgets that gate performance regressions
- LLM Prompting Guide -- guidance for generating Geno code with LLMs
Project and Contributing
- Maturity Matrix -- what's stable, beta, experimental, or research
- Serious Beta Qualification -- evidence required before the label changes
- Compatibility Policy -- source, diagnostic, tooling, and security guarantees
- Target-aware Check Contract -- execution-profile checks and backend-lowering guarantees
- Governance -- decision ownership and contributor roles
- Design Proposals -- process for evolving the language contract
- Preview Program -- onboarding, prerequisites, current status
- Product Scope -- target lanes, success criteria, non-goals
- Reference Apps -- CI-validated example applications
- Changelog -- release history
- Release Runbook -- release process and rollback plan
- Monitoring & Support -- production surfaces and incident expectations
- Local CI -- running local validation checks
- External Application CI -- candidate-wheel checks against the pinned 101-app corpus
- Tiered Testing Design -- example clause tier system
- Shared IR ADR -- architecture decision record
Rendered from docs/INDEX.md in the Geno repository.