import life.teliva into image format

1 files changed, 273 insertions, 0 deletions

diff --git a/life.tlv b/life.tlv
new file mode 100644
index 0000000..2b58e21
--- /dev/null
+++ b/life.tlv
@@ -0,0 +1,273 @@
+teliva_program = {
+  window = [==[
+window = curses.stdscr()
+-- animation-based app
+window:nodelay(true)
+lines, cols = window:getmaxyx()]==],
+  grid = [==[
+-- main data structure
+grid = {}
+for i=1,lines*4 do
+  grid[i] = {}
+  for j=1,cols*2 do
+    grid[i][j] = 0
+  end
+end
+]==],
+  grid_char = [==[
+-- grab a 4x2 chunk of grid
+function grid_char(line, col)
+  result = {}
+  for l, row in ipairs({unpack(grid, (line-1)*4+1, line*4)}) do
+    result[l] = {unpack(row, (col-1)*2+1, col*2)}
+  end
+  return result
+end]==],
+  print_grid_char = [==[
+function print_grid_char(window, x)
+  result = {}
+  for l, row in ipairs(x) do
+    for c, val in ipairs(row) do
+      window:mvaddstr(l, c, val)
+    end
+  end
+  return result
+end]==],
+  glyph = [==[
+-- look up the braille pattern corresponding to a 4x2 chunk of grid
+-- https://en.wikipedia.org/wiki/Braille_Patterns
+-- not obviously programmatic because Unicode added 4x2 after 3x2
+glyph = {
+  0x2800, 0x2801, 0x2802, 0x2803, 0x2804, 0x2805, 0x2806, 0x2807,   0x2840, 0x2841, 0x2842, 0x2843, 0x2844, 0x2845, 0x2846, 0x2847,
+  0x2808, 0x2809, 0x280a, 0x280b, 0x280c, 0x280d, 0x280e, 0x280f,   0x2848, 0x2849, 0x284a, 0x284b, 0x284c, 0x284d, 0x284e, 0x284f,
+  0x2810, 0x2811, 0x2812, 0x2813, 0x2814, 0x2815, 0x2816, 0x2817,   0x2850, 0x2851, 0x2852, 0x2853, 0x2854, 0x2855, 0x2856, 0x2857,
+  0x2818, 0x2819, 0x281a, 0x281b, 0x281c, 0x281d, 0x281e, 0x281f,   0x2858, 0x2859, 0x285a, 0x285b, 0x285c, 0x285d, 0x285e, 0x285f,
+  0x2820, 0x2821, 0x2822, 0x2823, 0x2824, 0x2825, 0x2826, 0x2827,   0x2860, 0x2861, 0x2862, 0x2863, 0x2864, 0x2865, 0x2866, 0x2867,
+  0x2828, 0x2829, 0x282a, 0x282b, 0x282c, 0x282d, 0x282e, 0x282f,   0x2868, 0x2869, 0x286a, 0x286b, 0x286c, 0x286d, 0x286e, 0x286f,
+  0x2830, 0x2831, 0x2832, 0x2833, 0x2834, 0x2835, 0x2836, 0x2837,   0x2870, 0x2871, 0x2872, 0x2873, 0x2874, 0x2875, 0x2876, 0x2877,
+  0x2838, 0x2839, 0x283a, 0x283b, 0x283c, 0x283d, 0x283e, 0x283f,   0x2878, 0x2879, 0x287a, 0x287b, 0x287c, 0x287d, 0x287e, 0x287f,
+
+  0x2880, 0x2881, 0x2882, 0x2883, 0x2884, 0x2885, 0x2886, 0x2887,   0x28c0, 0x28c1, 0x28c2, 0x28c3, 0x28c4, 0x28c5, 0x28c6, 0x28c7,
+  0x2888, 0x2889, 0x288a, 0x288b, 0x288c, 0x288d, 0x288e, 0x288f,   0x28c8, 0x28c9, 0x28ca, 0x28cb, 0x28cc, 0x28cd, 0x28ce, 0x28cf,
+  0x2890, 0x2891, 0x2892, 0x2893, 0x2894, 0x2895, 0x2896, 0x2897,   0x28d0, 0x28d1, 0x28d2, 0x28d3, 0x28d4, 0x28d5, 0x28d6, 0x28d7,
+  0x2898, 0x2899, 0x289a, 0x289b, 0x289c, 0x289d, 0x289e, 0x289f,   0x28d8, 0x28d9, 0x28da, 0x28db, 0x28dc, 0x28dd, 0x28de, 0x28df,
+  0x28a0, 0x28a1, 0x28a2, 0x28a3, 0x28a4, 0x28a5, 0x28a6, 0x28a7,   0x28e0, 0x28e1, 0x28e2, 0x28e3, 0x28e4, 0x28e5, 0x28e6, 0x28e7,
+  0x28a8, 0x28a9, 0x28aa, 0x28ab, 0x28ac, 0x28ad, 0x28ae, 0x28af,   0x28e8, 0x28e9, 0x28ea, 0x28eb, 0x28ec, 0x28ed, 0x28ee, 0x28ef,
+  0x28b0, 0x28b1, 0x28b2, 0x28b3, 0x28b4, 0x28b5, 0x28b6, 0x28b7,   0x28f0, 0x28f1, 0x28f2, 0x28f3, 0x28f4, 0x28f5, 0x28f6, 0x28f7,
+  0x28b8, 0x28b9, 0x28ba, 0x28bb, 0x28bc, 0x28bd, 0x28be, 0x28bf,   0x28f8, 0x28f9, 0x28fa, 0x28fb, 0x28fc, 0x28fd, 0x28fe, 0x28ff,
+}]==],
+  utf8 = [==[
+-- https://stackoverflow.com/questions/7983574/how-to-write-a-unicode-symbol-in-lua
+function utf8(decimal)
+  local bytemarkers = { {0x7FF,192}, {0xFFFF,224}, {0x1FFFFF,240} }
+  if decimal<128 then return string.char(decimal) end
+  local charbytes = {}
+  for bytes,vals in ipairs(bytemarkers) do
+    if decimal<=vals[1] then
+      for b=bytes+1,2,-1 do
+        local mod = decimal%64
+        decimal = (decimal-mod)/64
+        charbytes[b] = string.char(128+mod)
+      end
+      charbytes[1] = string.char(vals[2]+decimal)
+      break
+    end
+  end
+  return table.concat(charbytes)
+end]==],
+  grid_char_to_glyph_index = [==[
+-- convert a chunk of grid into a number
+function grid_char_to_glyph_index(g)
+  return g[1][1]    + g[2][1]*2  + g[3][1]*4  + g[4][1]*8 +
+         g[1][2]*16 + g[2][2]*32 + g[3][2]*64 + g[4][2]*128 +
+         1  -- 1-indexing
+end]==],
+  render = [==[
+function render(window)
+  window:clear()
+  for line=1,lines do
+    for col=1,cols do
+      window:addstr(utf8(glyph[grid_char_to_glyph_index(grid_char(line, col))]))
+    end
+  end
+  curses.refresh()
+end
+]==],
+  state = [==[
+function state(line, col)
+  if line < 1 or line > table.getn(grid) or col < 1 or col > table.getn(grid[1]) then
+    return 0
+  end
+  return grid[line][col]
+end]==],
+  num_live_neighbors = [==[
+function num_live_neighbors(line, col)
+  return state(line-1, col-1) + state(line-1, col) + state(line-1, col+1) +
+         state(line,   col-1) +                      state(line,   col+1) +
+         state(line+1, col-1) + state(line+1, col) + state(line+1, col+1)
+end]==],
+  step = [==[
+function step()
+  local new_grid = {}
+  for line=1,table.getn(grid) do
+    new_grid[line] = {}
+    for col=1,table.getn(grid[1]) do
+      local n = num_live_neighbors(line, col)
+      if n == 3 then
+        new_grid[line][col] = 1
+      elseif n == 2 then
+        new_grid[line][col] = grid[line][col]
+      else
+        new_grid[line][col] = 0
+      end
+    end
+  end
+  grid = new_grid
+end]==],
+  sleep = [==[
+function sleep(a)
+    local sec = tonumber(os.clock() + a);
+    while (os.clock() < sec) do
+    end
+end]==],
+  file_exists = [==[
+function file_exists(filename)
+  local f = io.open(filename, "r")
+  if f ~= nil then
+    io.close(f)
+    return true
+  else
+    return false
+  end
+end]==],
+  load_file = [==[
+function load_file(window, filename)
+  io.input(filename)
+  local line_index = lines
+  for line in io.lines() do
+    if line:sub(1,1) ~= '!' then  -- comment; plaintext files can't have whitespace before comments
+      local col_index = cols
+      for c in line:gmatch(".") do
+        if c == '\r' then break end  -- DOS line ending
+        if c == '.' then
+          grid[line_index][col_index] = 0
+        else
+          grid[line_index][col_index] = 1
+        end
+        col_index = col_index+1
+      end
+      line_index = line_index+1
+    end
+  end
+end]==],
+  update = [==[
+menu = {arrow="pan"}
+
+function update(window, c)
+  if c == curses.KEY_LEFT then
+    for i=1,lines*4 do
+      for j=2,cols*2 do
+        grid[i][j-1] = grid[i][j]
+      end
+      grid[i][cols*2] = 0
+    end
+  elseif c == curses.KEY_DOWN then
+    for i=lines*4-1,1,-1 do
+      for j=1,cols*2 do
+        grid[i+1][j] = grid[i][j]
+      end
+    end
+    for j=1,cols*2 do
+      grid[1][j] = 0
+    end
+  elseif c == curses.KEY_UP then
+    for i=2,lines*4 do
+      for j=1,cols*2 do
+        grid[i-1][j] = grid[i][j]
+      end
+    end
+    for j=1,cols*2 do
+      grid[lines*4][j] = 0
+    end
+  elseif c == curses.KEY_RIGHT then
+    for i=1,lines*4 do
+      for j=cols*2-1,1,-1 do
+        grid[i][j+1] = grid[i][j]
+      end
+      grid[i][1] = 0
+    end
+  end
+end]==],
+  main = [==[
+function main()
+  -- initialize grid based on commandline args
+  if (#arg == 0) then
+    -- by default, start from a deterministically random state
+    for i=1,lines*4 do
+      for j=1,cols*2 do
+        grid[i][j] = math.random(0, 1)
+      end
+    end
+  elseif arg[1] == "random" then
+    -- start from a non-deterministically random start state
+    math.randomseed(os.time())
+    for i=1,lines*4 do
+      for j=1,cols*2 do
+        grid[i][j] = math.random(0, 1)
+      end
+    end
+  -- shortcuts for some common patterns
+  elseif arg[1] == "pentomino" then
+    -- https://www.conwaylife.com/wiki/Pentomino
+    grid[83][172] = 1
+    grid[83][173] = 1
+    grid[84][173] = 1
+    grid[84][174] = 1
+    grid[85][173] = 1
+  elseif arg[1] == "glider" then
+    -- https://www.conwaylife.com/wiki/Glider
+    grid[5][4] = 1
+    grid[6][5] = 1
+    grid[7][3] = 1
+    grid[7][4] = 1
+    grid[7][5] = 1
+  elseif arg[1] == "blinker" then
+    -- https://www.conwaylife.com/wiki/Blinker
+    grid[7][3] = 1
+    grid[7][4] = 1
+    grid[7][5] = 1
+  elseif arg[1] == "block" then
+    -- https://www.conwaylife.com/wiki/Block
+    grid[5][4] = 1
+    grid[5][5] = 1
+    grid[6][4] = 1
+    grid[6][5] = 1
+  elseif arg[1] == "loaf" then
+    -- https://www.conwaylife.com/wiki/Loaf
+    grid[5][4] = 1
+    grid[5][5] = 1
+    grid[6][6] = 1
+    grid[7][6] = 1
+    grid[8][5] = 1
+    grid[7][4] = 1
+    grid[6][3] = 1
+  elseif file_exists(arg[1]) then
+    -- Load a file in the standard "plaintext" format: https://www.conwaylife.com/wiki/Plaintext
+    --
+    -- Each pattern page at https://www.conwaylife.com/wiki provides its
+    -- plaintext representation in a block called "Pattern Files" on the right.
+    --
+    -- For example, check out the list of Important Patterns at
+    -- https://www.conwaylife.com/wiki/Category:Patterns_with_Catagolue_frequency_class_0
+    load_file(window, arg[1])
+  end
+
+  -- main loop
+  while true do
+    render(window)
+    c = curses.getch()
+    update(window, c)
+    step()
+  end
+end]==],
+}