🚩 [NOTE: the project is under active development and some of the features may not be ready or reside in branches other than main]
“To live is to be other. It’s not even possible to feel, if one feels today what he felt yesterday. To feel today what one felt yesterday is not to feel—it’s to remember today what was felt yesterday, to be today’s living corpse of what yesterday was lived and lost. To erase everything from the slate from one day to the next, to be new with each new morning, in a perpetual revival of our emotional virginity—this, and only this, is worth being or having, to be or have what we imperfectly are.” – Fernando Pessoa
𝛀 is a mathematical spork of Zed. It aims to delight with:
- first-class Diagram / Operad support and fast parallel execution of causal models and graphical languages for monoidal categories (~ parity with CatCollab)
- built-in structure-aware editing and version control beyond git
- extensible multimodal / scientific data support, native viewers for structures in Physics, Chemistry, Biology, parallel simulations incl. Whole Earth models, as well as efficient generators for graphs, timeseries, geospatial, 3D data, energy landscapes
- faithful implementation of Model Context Protocol w\ hardened MCP servers and reliable Effects and Capabilities
- interfaces for first-class DPO graph and categorical (C-Set) rewriting with benchmarking
- include Polymorphic Universes into proof assistant interfaces for the Brave and True (~ parity with ProofGeneral, Lean4 mathlib4)
- collaborative / compositional world modeling, structure transport and matching across disciplines
- Discourse Hypergraphs and other knowledge structures + bidirectional integration with a variety of knowledge gardening tools (e.g. citation graphs, ontologies, Obsidian, Ideaflow - primarily w/ MCP) + proof branching
- DuckDB +vss +spatial for continuous information integration via Universal Share Targets: Omega browser extension, mobile app(s), wearables, screen / browser history watchers etc. to ensure Continuity of Contexts
- categorically considered multi-agent automations via task delegation operad and co-consturction of Consensus Topos, evolving planner, codebase navigation capabilities on par with Agent-Computer Interface in SWE-agent
- configurable time and randomness - including built-in Timelock Encryption https://timevault.drand.love in Omega itself -- as well as the implementation of the Narrative category and corresponding temporal graphs into software
- built-in RISC-V zkVM (Jolt, RISC0) and W3C DID / ATProto / IPFS and other DeSci integrations
- Paredit / Calva mode to support S-experssion-based parenthesized languages (Lisps, Schemes) and a bridge between term rewriting and DPO-rewriting models of computation
- vim / Kakoune keymap implementation
- random walks & more
If you are not a developer we recommend getting Zed Preview for now 🚧
[full Omega builds are the very next milestone, stay tuned!]
On macOS and Linux you can download Zed Preview
Other platforms are not yet available:
- Windows (tracking issue)
- Web (tracking issue)
- Building Omega for macOS
- Building Omega for Linux
- Building Omega for Windows
- Running Collaboration Locally
See CONTRIBUTING.md for ways you can contribute to 𝛀.
Our work is inspired and nourished by the Topos, Simons, Wolfram, Allen, Cybercat, and Santa Fe Institutes.