progs/scala/re-bit.scala
2020-10-24 Christian Urban updated
2018-10-27 Christian Urban added_lit
2018-08-15 Christian Urban added proof for bitcoded algorithm
2016-07-20 Christian Urban added paper about size derivatives
2016-04-05 Christian Urban updated programs
2016-04-01 Christian Urban added bit-coded version
less more (0) tip