Giters

arj119 / Models-Of-Computation-Tool

A tool to help solve/simulate the Godel machines and numbering.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

A tool to help solve/simulate the Godel machines and numbering.

Languages

Language:Java 60.7%Language:Kotlin 34.5%Language:Makefile 1.8%Language:ANTLR 1.8%Language:Shell 1.3%