Open-source tools at the intersection of documents, AI, and scientific computing.
| Project | Description |
|---|---|
| Codex Format Spec | Open specification for a modern document format with semantic content, cryptographic integrity, and verifiable provenance. |
| cdx-core | Rust reference implementation for reading, writing, and validating Codex (.cdx) files. |
| cdx-pandoc | Pandoc writer/reader for converting documents to and from Codex format. |
| Project | Description |
|---|---|
| Echidna | High-performance automatic differentiation library for Rust. Forward and reverse mode with generic scalar types. |
| Bilby | High-performance numerical quadrature (integration) library for Rust. Gaussian rules, adaptive methods, cubature, sparse grids. |
| Thylacine | Functional Bayesian inference framework for sampling, integration, and posterior analysis with automatic differentiation and STM-based concurrency. |
| Project | Description |
|---|---|
| Bengal STM | Software Transactional Memory for Cats Effect with intelligent scheduling via static analysis of transaction variable domains. |