Simple, ready-to-use typed realization of SmallF*ck esoteric language. Highly inspired by this article.
use *;
type SetTrue<Next = EOF> = ;
// [*<<[*]*>>>] // Move any-sized chunk of True's 2 cells left
type prog = ;
type result = ;
assert_eq!;
Links:
Github repo: https://github.com/Zote-the-Mighty-4o2/typed-sf.rs
Documentation: https://docs.rs/typed-sf/