# advancedresearch/path\_semantics

<https://repo.masters-masters.com/en/repos/advancedresearch/path_semantics>

[Home](https://repo.masters-masters.com/en) › [advancedresearch](https://repo.masters-masters.com/en/owners/advancedresearch) › [path\_semantics](https://repo.masters-masters.com/en/repos/advancedresearch/path_semantics)

advancedresearch/path\_semantics has 185 stars on GitHub. Its RepoMasters card: Prototype tier. A research project in path semantics, a re-interpretation of…

| Field | Value |
| --- | --- |
| Owner | [advancedresearch](https://repo.masters-masters.com/en/owners/advancedresearch) |
| Stars | 185 |
| Forks | 11 |
| Language | [Rust](https://repo.masters-masters.com/en/languages/rust) |
| License | MIT |
| Created | 2015 |
| Topics | mathematical-logic, research, type-theory |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [advancedresearch/path\_semantics](https://github.com/advancedresearch/path_semantics) |

## Repository

A research project in path semantics, a re-interpretation of functions for expressing mathematics

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

## More repos by advancedresearch

- [advancedresearch/poi · ★ 143 · Rust · Prototype](https://repo.masters-masters.com/en/repos/advancedresearch/poi)

## Nearby in Rust

- [dom96/KillSwitch · ★ 185 · Rust · Prototype](https://repo.masters-masters.com/en/repos/dom96/KillSwitch)
- [idlefoundry/ca-72 · ★ 185 · Rust · Prototype](https://repo.masters-masters.com/en/repos/idlefoundry/ca-72)
- [rahatsagor/CmdPalm · ★ 185 · Rust · Prototype](https://repo.masters-masters.com/en/repos/rahatsagor/CmdPalm)
- [SimonSapin/rust-forest · ★ 185 · Rust · Prototype](https://repo.masters-masters.com/en/repos/SimonSapin/rust-forest)
- [zonyitoo/mqtt-rs · ★ 185 · Rust · Prototype](https://repo.masters-masters.com/en/repos/zonyitoo/mqtt-rs)
- [buntine/barcoders · ★ 185 · Rust · Prototype](https://repo.masters-masters.com/en/repos/buntine/barcoders)

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