PrototypeCommon
advancedresearch/path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
- Owner
- advancedresearch (organization)
- Stars
- Stars: 185
- Forks
- Forks: 11
- Language
- Rust
- License
- MIT
- Created
- 2015
- Topics
- mathematical-logicresearchtype-theory
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by advancedresearch
All 2 repos by advancedresearch- advancedresearch/poiStars: 143RustPrototype
Nearby in Rust
All Rust repos- seatedro/diffyStars: 185RustPrototype
- dom96/KillSwitchStars: 185RustPrototype
- Jorge262007/FFTARecompStars: 185RustPrototype
- SimonSapin/rust-forestStars: 185RustPrototype
- zonyitoo/mqtt-rsStars: 185RustPrototype
- buntine/barcodersStars: 185RustPrototype