Hacker GitHub

← All repos

kstenerud/dogma

View on GitHub ↗ ★ 66

Dogma: A modernized metalanguage with better expressiveness and binary grammar support

12 mentions on Hacker News by 1 person: 3 stories, 9 comments · first 2023-02-26 · latest 2025-08-22

Mentions per year 12 mentions · busiest year 2023 (8)
20082026
  1. …* The formal grammar used to describe ORB is called Dogma. * Dogma reference material is here: https://github.com/kstenerud/dogma/blob/master/v1/dogma_v1.0.md * The end of the Dogma description document has a section called "Dogma…
  2. These are some of the many reasons why I developed the Dogma metalanguage. https://dogma-lang.org/ https://github.com/kstenerud/dogma/blob/master/v1/dogma_v1.0... That, and also I needed a language that could describe binary data.
  3. …to. For example the ICO `dir_entry`, which is a directory list of icon resources in the file. https://github.com/kstenerud/dogma/blob/master/v1/examples/i... - It's using image_offset*8 because everything in an ICO file is a byte-offset (8…
  4. …So far it's been able to describe 90% of what's out there. Some examples: - 802.3 layer 2 Ethernet: https://github.com/kstenerud/dogma/blob/master/v1/examples/8... - Microsoft ICO format: https://github.com/kstenerud/dogma/blob/master/v1/ex…
  5. ▲ 3
    Show HN: Dogma: a metalanguage for describing data formats in documentation
    story by kstenerud · 2023-04-13 · 0 comments
  6. …the spec is over 2000 lines long (admittedly the examples take up a fair bit of room, though). [1] https://github.com/kstenerud/dogma/blob/master/v1/dogma_v1.m...
    comment by kstenerud · 2023-03-25 · in How big should a programming language be?
  7. ▲ 2
    Show HN: Dogma Metalanguage – Beta5
    story by kstenerud · 2023-03-25 · 0 comments
  8. …breaking point came in trying to describe binary formats. I eventually had to come up with my own: https://github.com/kstenerud/dogma Will it solve the BNF problem? No, but it does help the binary folks.
  9. …and https://github.com/kstenerud/compact-time and https://github.com/kstenerud/enctool https://github.com/kstenerud/dogma has been in development for 4 months and will be released in about a month. This is yet another support project for…
  10. …for describing binary and text data (because there wasn't a decent one for describing binary data). https://github.com/kstenerud/dogma Dogma is mostly there as well, but while it is primarily focused around writing technical documentation…
  11. …suited for documenting for human consumption. So I'm putting the finishing touches on Dogma ( https://github.com/kstenerud/dogma/blob/master/dogma_v1.md ), a modernized BNF-style metalanguage with better expressiveness and binary grammar…
  12. ▲ 14
    Ask HN: Please critique my metalanguage: “Dogma”
    story by kstenerud · 2023-02-26 · 11 comments