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
20082026
-
…* 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…
comment by kstenerud · 2025-08-22 · in AWS CEO says using AI to replace junior staff is 'Dumbest thing I've ever heard' -
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.
comment by kstenerud · 2025-05-20 · in Don't Use ISO/IEC 14977:1996 Extended Backus-Naur Form (EBNF) (2023) -
…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…
comment by kstenerud · 2024-03-24 · in Interval Parsing Grammars for File Format Parsing (2023) [pdf] -
…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…
comment by kstenerud · 2024-03-24 · in Interval Parsing Grammars for File Format Parsing (2023) [pdf] -
▲ 3
Show HN: Dogma: a metalanguage for describing data formats in documentationstory by kstenerud · 2023-04-13 · 0 comments
-
…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? -
▲ 2
Show HN: Dogma Metalanguage – Beta5story by kstenerud · 2023-03-25 · 0 comments
-
…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.
comment by kstenerud · 2023-03-20 · in BNF was here: What have we done about unnecessary notation diversity (2011) [pdf] -
…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…
comment by kstenerud · 2023-03-16 · in Ask HN: How long does it take for you to release your open source project? -
…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…
comment by kstenerud · 2023-03-14 · in Ask HN: Who is looking for code contributors? -
…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…
comment by kstenerud · 2023-03-02 · in Ask HN: What Are You Working On? (March 2023) -
▲ 14
Ask HN: Please critique my metalanguage: “Dogma”story by kstenerud · 2023-02-26 · 11 comments