Open-source scientific computing, concurrency, and security.
| 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. |
| Project | Description |
|---|---|
| CDX Format Spec | Open specification for a modern document format with semantic content, cryptographic integrity, and verifiable provenance. |