wangbj / elf
Parser for ELF object format.
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for elf
- Austin's supercompiler work☆21Updated 5 years ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Vector builder☆15Updated 11 months ago
- A concurrent mutable ring-buffer☆12Updated last month
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- Dependent hash maps☆14Updated 5 months ago
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 6 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- Robust prettyprinter for output of auto-generated Show instances☆18Updated 4 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 9 months ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 2 years ago
- ELF data structures for Haskell☆24Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- ☆20Updated 5 years ago
- A package re-exporting the verified subset of containers☆20Updated 6 years ago
- Resin: high performance variable binder and ast manipulation lib☆13Updated 5 years ago
- Run lifted IO operations asynchronously and wait for their results☆29Updated 2 weeks ago
- Haskell parser and printer for the TOML 1.0.0 file format☆25Updated 4 months ago
- JHC Haskell compiler split into reusable components☆16Updated 2 years ago
- Succinct binary serialization☆15Updated 6 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- Agda suffices: software written from A to Z in Agda☆15Updated 5 years ago
- Funny little Haskell impl☆18Updated 4 years ago
- A cross-platform, cross-console way to handle echoing terminal input☆10Updated 3 years ago
- Compression and decompression in the gzip and zlib formats☆35Updated last month
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- Write your GDB scripts in Haskell!☆27Updated 2 years ago