isar: misc old notes
racket: ukanren
j/gramco: started adding symbols
j: gauss-jordan elimination, (done manually)
j: my own naive huffman encoding thing, from dec 10 2013
j: life.ijs, translated from the dyalog video, dec 16 2013
j: simple sqlite demo, from christmas 2013