imatix/gsl
View on GitHub ↗ ★ 542 C archived
iMatix GSL code generator
11 mentions on Hacker News by 8 people: 4 stories, 7 comments · first 2012-10-31 · latest 2025-04-30
20082026
-
…model-checked, proved, inspectable, debuggable... Pieter Hintjens said it better than I could https://github.com/imatix/gsl?tab=readme-ov-file#model-orien...
comment by touisteur · 2025-04-30 · in Satya Nadella says as much as 30% of Microsoft code is written by software -
Like this? https://github.com/imatix/gsl
comment by fsloth · 2020-09-02 · in Tips for stable and portable software -
…the virtue of effectively macro based code generation, especially using a "macro language" GSL: https://github.com/imatix/gsl Which has some previous discussion about it: https://news.ycombinator.com/item?id=11558007 I would imagine Martin…
comment by fsloth · 2017-11-22 · in Low Hanging Fruit of Programming Language Design -
…yet to understand. Hope someone can provide more insight on this subject. HN discussion [2] [1] https://github.com/imatix/gsl [2] https://news.ycombinator.com/item?id=11558007
comment by a_c · 2017-05-01 · in Esoteric programming paradigms -
…found the "common denominator" you are looking for. [1] https://github.com/zeromq/zproto [2] https://github.com/imatix/gsl
comment by c-rack · 2015-06-11 · in Too Many Programming Languages -
…needs are key. Turns out it's quite easy to roll your own, given the right tools. I now use: gsl https://github.com/imatix/gsl and synctool https://github.com/walterdejong/synctool The former is used to generate configurations for various…
comment by gyepi · 2012-10-31 · in Puppet or Chef?