Search Results for "pseudocode"

The Ethereum Yellow Paper repository contains the canonical formal specification of the Ethereum protocol, describing its consensus rules, virtual machine (EVM) semantics, transaction formats, and state transition logic. It encodes rigorous mathematics and pseudocode defining how blocks are validated, how world state evolves, gas accounting, account balances, and execution semantics of opcodes. The paper is the authoritative technical reference for clients, protocol architects, and researchers seeking a precise, unambiguous description of Ethereum’s design and expected behavior. The repository may include the LaTeX source, historical versions (by hard fork), comments, errata, and supplemental updates as the protocol evolves. ...

PSeInt is a pseudo-code interpreter for spanish-speaking programming students. Its main purpose is to be a tool for learning and understanding the basic concepts about programming and applying them with an easy understanding spanish pseudocode.

Open Source Implementations for 3D-Surface Characterisation Algorithms according to ISO 25178 (Geometric Product Specification) in verifiable pseudocode (MATLAB). Implementation of an XML-based file exchange format according to upcoming ISO 25178-72.

This is a compiler for the 'pseudocode' Haggis used by the Scottish Qualifications Authority for specifying pseudo code. The compiler is implemented in Java.