PrototypeCommon
sweirich/lambda-n-ways
Benchmarks for capture-avoiding substitution
- Owner
- sweirich (personal account)
- Stars
- Stars: 127
- Forks
- Forks: 9
- Language
- HTML
- License
- MIT
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by sweirich
All 5 repos by sweirich- sweirich/pi-forallStars: 632HaskellAlpha
- sweirich/dthStars: 309HaskellAlpha
- sweirich/talStars: 150HaskellPrototype
- sweirich/challengeStars: 122HaskellPrototype
Nearby in HTML
All HTML repos- Shanghua-Gao/RSI-JevStars: 127HTMLPrototype
- XRayLau1/maitaiyiStars: 127HTMLPrototype
- Leonxlnx/napaliStars: 127HTMLPrototype
- codepo8/YQL-Geo-LibraryStars: 127HTMLPrototype
- BroadleafCommerce/LegacyDemoSiteStars: 127HTMLPrototype
- hirocaster/wdpress69Stars: 127HTMLPrototype