# metamath/metamath-exe

<https://repo.masters-masters.com/en/repos/metamath/metamath-exe>

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

metamath/metamath-exe has 112 stars on GitHub. Its RepoMasters card: Prototype tier. Metamath program - source code for the Metamath executable Language: C.

| Field | Value |
| --- | --- |
| Owner | [metamath](https://repo.masters-masters.com/en/owners/metamath) |
| Stars | 112 |
| Forks | 31 |
| Language | [C](https://repo.masters-masters.com/en/languages/c) |
| License | GPL-2.0 |
| Created | 2019 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [metamath/metamath-exe](https://github.com/metamath/metamath-exe) |

## Repository

Metamath program - source code for the Metamath executable

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

## More repos by metamath

- [metamath/set.mm · ★ 338 · HTML · Alpha](https://repo.masters-masters.com/en/repos/metamath/set.mm)

## Nearby in C

- [SyscallX-18113/Apkx-Hunter · ★ 112 · C · Prototype](https://repo.masters-masters.com/en/repos/SyscallX-18113/Apkx-Hunter)
- [charlesvestal/fm1-amb · ★ 112 · C · Prototype](https://repo.masters-masters.com/en/repos/charlesvestal/fm1-amb)
- [eladharels/ps5-60FPS · ★ 112 · C · Prototype](https://repo.masters-masters.com/en/repos/eladharels/ps5-60FPS)
- [adafruit/ST7565-LCD · ★ 112 · C · Prototype](https://repo.masters-masters.com/en/repos/adafruit/ST7565-LCD)
- [beckus/stm32\_p103\_demos · ★ 112 · C · Prototype](https://repo.masters-masters.com/en/repos/beckus/stm32_p103_demos)
- [mreiferson/py-wkhtmltox · ★ 112 · C · Prototype](https://repo.masters-masters.com/en/repos/mreiferson/py-wkhtmltox)

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