4 ms·
how this compares to, say, https://preserves.dev/ https://preserves.dev/ ? i thought of similar thing/lang very long time ago, then for reverse engineering pur
by svilen_dobrev 4y ago
how this compares to, say, https://preserves.dev/ https://preserves.dev/ ?
i thought of similar thing/lang very long time ago, then for reverse engineering purposes. e.g. describe old (pre-)M$ word doc binary format, have an interpreter over it, then use it to add some changes to a document..
- kstenerud 4y agoThis looks similar to https://concise-encoding.org/ https://concise-encoding.org/ Dogma was developed as a consequence of trying to describe Concise Binary Encoding. The CBE spec used to look like the preserves binary spec, full of hex values, tables and various ad-hoc illustrations: https://preserves.dev/preserves-binary.html https://preserves.dev/preserves-binary.html Now the CBE formal description looks like this: https://github.com/kstenerud/concise-encoding/blob/master/cbe.dogma https://github.com/kstenerud/concise-encoding/blob/master/cb... And the regular documentation looks like this: https://github.com/kstenerud/concise-encoding/blob/master/cbe-specification.md https://github.com/kstenerud/concise-encoding/blob/master/cb... Dogma also does text formats because Concise Encoding has a text and binary format, so I needed a metalanguage that could do both in order to make it less jarring for a reader: Docs: https://github.com/kstenerud/concise-encoding/blob/master/cte-specification.md https://github.com/kstenerud/concise-encoding/blob/master/ct... Formal: https://github.com/kstenerud/concise-encoding/blob/master/cte.dogma https://github.com/kstenerud/concise-encoding/blob/master/ct...