1 result found Sort:

yeslogic
fathom yeslogic
14
259
apache-2.0
15
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
dsl rust parser compiler language binary-data declarative type-system type-checker binary-format dependent-types statically-typed programming-language dependent-record-types data-description-language
Created 2015-01-09
2,650 commits to main branch, last one about a year ago