GitHub repository: r-ushil/godel-register-machines
Primary language: Rust
Description: A program written in Rust to encode and decode numbers, lists of numbers and register machine instructions to and from their respective Gödel numberings.