Skip to content
forked from yeslogic/fathom

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

License

Notifications You must be signed in to change notification settings

brendanzab/fathom

 
 

Repository files navigation

Fathom

Actions Status Matrix License

A language for specifying data-dependent binary formats.

Example

let pixel = {
    red <- u8,
    green <- u8,
    blue <- u8,
};

let image = {
    width <- u16le,
    height <- u16le,
    pixels <- array16 (u16_mul width height) pixel,
};

image

More examples can be found in the formats directory.

Code of Conduct

Please note that this project is released with a Code of Conduct. By participating in this project you agree to abide by its terms.

License

Fathom is licensed under the terms of the Apache License (Version 2.0).

See LICENSE or http://www.apache.org/licenses/LICENSE-2.0 for details.

About

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

Resources

License

Code of conduct

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 77.4%
  • HTML 16.0%
  • Mercury 3.5%
  • Lean 1.4%
  • Prolog 1.2%
  • Nix 0.3%
  • Other 0.2%