- NF: game of life
- NF: cleaner implementation of tanner graphs and calculi thereupon