# tsoding/Noq

<https://repo.masters-masters.com/en/repos/tsoding/Noq>

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

tsoding/Noq has 273 stars on GitHub. Its RepoMasters card: Alpha tier. Simple expression transformer that is not Coq. Language: Rust.

| Field | Value |
| --- | --- |
| Owner | [tsoding](https://repo.masters-masters.com/en/owners/tsoding) |
| Stars | 273 |
| Forks | 26 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2022 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [tsoding/Noq](https://github.com/tsoding/Noq) |

## Repository

Simple expression transformer that is not Coq.

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## More repos by tsoding

- [tsoding/nob.h · ★ 3,377 · C++ · RC](https://repo.masters-masters.com/en/repos/tsoding/nob.h)
- [tsoding/olive.c · ★ 2,468 · C++ · RC](https://repo.masters-masters.com/en/repos/tsoding/olive.c)
- [tsoding/musializer · ★ 1,501 · C · Beta](https://repo.masters-masters.com/en/repos/tsoding/musializer)
- [tsoding/boomer · ★ 877 · Nim · Beta](https://repo.masters-masters.com/en/repos/tsoding/boomer)
- [tsoding/arena · ★ 854 · C · Beta](https://repo.masters-masters.com/en/repos/tsoding/arena)
- [tsoding/ded · ★ 720 · C · Beta](https://repo.masters-masters.com/en/repos/tsoding/ded)

## Nearby in Rust

- [zed-extensions/tsgo · ★ 273 · Rust · Alpha](https://repo.masters-masters.com/en/repos/zed-extensions/tsgo)
- [srothgan/claude-code-rust · ★ 273 · Rust · Alpha](https://repo.masters-masters.com/en/repos/srothgan/claude-code-rust)
- [AnyiWang/OpenCovibe · ★ 273 · Rust · Alpha](https://repo.masters-masters.com/en/repos/AnyiWang/OpenCovibe)
- [BurntSushi/tabwriter · ★ 273 · Rust · Alpha](https://repo.masters-masters.com/en/repos/BurntSushi/tabwriter)
- [Thinkofname/steven · ★ 273 · Rust · Alpha](https://repo.masters-masters.com/en/repos/Thinkofname/steven)
- [bluss/matrixmultiply · ★ 273 · Rust · Alpha](https://repo.masters-masters.com/en/repos/bluss/matrixmultiply)

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