Models of computation I am looking at (hypercomputation):
Σ∞
Rayofuck
Beeping cyclic tag
Meta Minsky Machine
SE Calculus
HOL
My best pages: