Search Results for "state machine editor"

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. ...

This is an implementation of the JSON specification according to RFC 4627. You can think of it as a low-fat alternative to XML if you want to store data on disk or transmit it over a network rather than use a verbose markup language. Both variants of the JSON generator generate UTF-8 character sequences by default. If an:ascii_only option with a true value is given, they escape all non-ASCII and control characters with \uXXXX escape sequences, and support UTF-16 surrogate pairs in order to...

Teian is an web-based annotator and limited editor for any XML vocabulary. Teian was originally developed for the U.S. Department of State, Office of the Historian, and released as open source for the benefit of community. Its development was further funded by the University of Richmond, USA.

Java Classfile assembler/disassembler and low-level interactive editor. Allows viewing and manipulation of Java class data both manually and via scripts. Load in a class file, make changes, and then save the result.

XML Processor. A Multi-threaded, Pub/Sub environment for Dynamic programming on an event driven Tickless and Sleeping State Machine with TCP communications, tight flawless memory management, powerful set algebra and a magical database. 100% C++. ezPort.

QMazEdit can be used to view and edit binary Mazatrol Files as produced by Mazak milling and turning machines. The application looks natively like the editor on the Machine so any Person in the production area will be able to use it.

lsx is a small and powerful text and source code generator based on a format called Eva. Both java libraries for lsx and Eva and tutorial with some "Hello" samples including "Hello State Machine", interesting demo that generates C++ code.