reproducible-research

Bounded Tick-profile CPU and RTL compiler with local SMT obligations, independent replay, unsafe-mutation checks and qualified evidence

The open-source AI research workbench for scientific research and agent workflows. Local-first, model-agnostic desktop app with extensible skills, MCP tools and connectors, Python/R execution and traceable artifacts for reproducible research on macOS, Windows and Linux.

FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.

Sionna: An Open-Source Library for Research on Communication Systems