got some Abstract State Machines executin' from the CoreASM project.

https://github.com/CoreASM/coreasm.core

very satisfying - minimal bitrot! although the repo does not include the many ASM specifications included in the PhD dissertation:

https://summit.sfu.ca/_flysystem/fedora/sfu_migrate/9719/ETD4729.pdf

#systemsEngineering #computerScience #languageSpecification

#Rust has a new path to create a formal language specification for #syntax and #semantics.

Ferrous Systems is donating their work on a language specification to the rust project and the wider community.

https://rustfoundation.org/media/ferrous-systems-donates-ferrocene-language-specification-to-rust-project/

#languagespecification
#rustlang
#ferroussystems
#ferrocene