wangbj / elfLinks
Parser for ELF object format.
☆11Updated 3 years ago
Alternatives and similar repositories for elf
Users that are interested in elf are comparing it to the libraries listed below
Sorting:
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- Minimal binary serialization library with focus on performance☆17Updated 4 years ago
- Agda suffices: software written from A to Z in Agda☆16Updated 6 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆15Updated 6 years ago
- Austin's supercompiler work☆21Updated 5 years ago
- A concurrent mutable ring-buffer☆12Updated 7 months ago
- Recursion schemes in ATS☆9Updated 3 years ago
- ELF data structures for Haskell☆24Updated 2 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Updated 7 years ago
- Succinct binary serialization☆15Updated 6 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 5 months ago
- A human readable style for binary data.☆11Updated 5 years ago
- Universal Register Machine implemented at the type-level of Haskell