Skip to content
/ tarpit-rs Public

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

238 stars 6 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

sdleffler/tarpit-rs

Error
Looks like something went wrong!

About

A type-level implementation of Smallfuck in Rust, doubling as a Turing-completeness proof for Rust's type system.

Topics

rust types rust-language type-system turing-tarpit turing-completeness

Resources

Readme
Activity

Stars

238 stars

Watchers

5 watching

Forks

6 forks
Report repository

Releases

No releases published

Packages

No packages published

Contributors 3

  •  
  •  
  •  

Languages