AlphaUncommon
sdleffler/tarpit-rs
A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.
- Owner
- sdleffler (personal account)
- Stars
- Stars: 254
- Forks
- Forks: 7
- Language
- Rust
- License
- None
- Created
- 2017
- Topics
- typesrustrust-languagetype-systemturing-completenessturing-tarpit
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by sdleffler
All 3 repos by sdleffler- sdleffler/collapseStars: 138RustPrototype
- sdleffler/qp-trie-rsStars: 103RustPrototype
Nearby in Rust
All Rust repos- map-A/A-stock-level1-dumpStars: 254RustAlpha
- second-state/qwen3_asr_rsStars: 254RustAlpha
- Yricky/proxycrabStars: 254RustAlpha
- Emoun/duplicateStars: 254RustAlpha
- polarmutex/beancount-language-serverStars: 254RustAlpha
- Valerioageno/ssr-rsStars: 254RustAlpha