# sorear/metamath-turing-machines

<https://repo.masters-masters.com/en/repos/sorear/metamath-turing-machines>

[Home](https://repo.masters-masters.com/en) › [sorear](https://repo.masters-masters.com/en/owners/sorear) › [metamath-turing-machines](https://repo.masters-masters.com/en/repos/sorear/metamath-turing-machines)

sorear/metamath-turing-machines has 100 stars on GitHub. Its RepoMasters card: Prototype tier. metamath proof enumerators and other things Language: Tcl.

| Field | Value |
| --- | --- |
| Owner | [sorear](https://repo.masters-masters.com/en/owners/sorear) |
| Stars | 100 |
| Forks | 15 |
| Language | [Tcl](https://repo.masters-masters.com/en/languages/tcl) |
| License | MIT |
| Created | 2016 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [sorear/metamath-turing-machines](https://github.com/sorear/metamath-turing-machines) |

## Repository

metamath proof enumerators and other things

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by sorear

- [sorear/niecza · ★ 152 · C\# · Prototype](https://repo.masters-masters.com/en/repos/sorear/niecza)

## Nearby in Tcl

- [ApacheFriends/xampp-build · ★ 102 · Tcl · Prototype](https://repo.masters-masters.com/en/repos/ApacheFriends/xampp-build)
- [cambridgehackers/fpgamake · ★ 101 · Tcl · Prototype](https://repo.masters-masters.com/en/repos/cambridgehackers/fpgamake)
- [jiangwx/SkrSkr · ★ 101 · Tcl · Prototype](https://repo.masters-masters.com/en/repos/jiangwx/SkrSkr)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.