This repository is the official RISC-V Instruction Set Architecture (ISA) specification manual, maintained by RISC-V International. It contains the normative specification text in AsciiDoc format, covering unprivileged and privileged architecture, extensions, profiles, and formal memory models. The repository also includes a Docker-based build system for producing PDF, HTML, and EPUB deliverables, custom Asciidoctor extensions for cross-referencing and change tracking, and CI/CD workflows for automated builds and releases. While primarily a formal specification document, it incorporates research artifacts such as Alloy and Cat formal models for the memory model, making it a hybrid between a standards document and a research artifact. The codebase is well-structured with consistent use of normative tagging, but suffers from significant duplication between src/ and modules/ directories, which poses a risk of content drift. The build system is containerized for reproducibility, and dependencies are pinned via Gemfile, package.json, and apt_packages.txt. The specification is actively developed with frequent commits and automated CI checks.
This repository contains the formal LaTeX specification of the JAM (Join-Accumulate Machine) protocol, a proposed blockchain system by Dr. Gavin Wood. It is not a software application but a reference document defining the protocol's state transitions, cryptographic primitives, virtual machine (PVM), consensus mechanism (Safrole), and accumulation pipeline. The codebase consists entirely of LaTeX source files, a bibliography, build scripts, and assets for generating a PDF. The specification is mathematically rigorous and structured for formal verification or implementation. While not a runnable system, it demonstrates high craftsmanship in consistent notation, modular sectioning, and automated build processes. The project is actively maintained with versioning and spell-checking, but lacks automated testing or CI for the specification itself.