fathom
fathom copied to clipboard
yeslogic
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Currently the test harness is a bit annoying to deal with: - [ ] Hard to see what the error diagnostics look like - [ ] Gaps in test coverage...
Just a draft for now, but thought I’d publish if anyone was interested. I was sketching some of this out in text files but thought it would be nice to...
The OpenType `glyf` table contains a run-length encoded array of flags that determines the types of the heterogeneous arrays that follow it. Describing this structure poses a number of challenges...
I've forged ahead with some ideas in order to make it possible to read the contours of simple glyphs. I've added the following primitives: - `u16_from_u8` — does what it...
Fixes #507 When record types are quoted, the size of the environment is incremented with each field. But this is not done when record types are *created* during synthesis of...
``` // synthesises type `fun (A: Type) (B : Type) -> {x: A, y: B}` def good_id = fun (A: Type) (B: Type) (p: {x: A, y: B}) => ({x...
* Adds record and tuple patterns. * This required rewriting the pattern match compiler and coverage checker, following the algorithms outlined in [Compiling pattern matching to good decision trees](https://dl.acm.org/doi/10.1145/1411304.1411311) and...
Can you tell me how Fathom compares with [Kaitai](https://kaitai.io/)? They seem to be solving the same problem in a similar way. What are reasons one might choose Fathom over Kaitai...
The branch we were pulling larlpop from has been rebased and the commit disappeared causing the build to fail: error: failed to get `lalrpop` as a dependency of package `fathom...
Distinguish between the three ways that `RecordProj` can be an error: * The head expression is not a record (eg `Type.foo`) * The head expression is a record, but it...