wangbj / elf
Parser for ELF object format.
☆11Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for elf
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- Recursion schemes in ATS☆9Updated 2 years ago
- Austin's supercompiler work☆21Updated 4 years ago
- Dhall-configured inductive API definitions☆24Updated 4 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Updated 7 years ago
- ELF data structures for Haskell☆24Updated last year
- More strongly typed variant of the ixset Haskell package☆23Updated 3 months ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- ☆20Updated 5 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 2 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆25Updated 4 months ago
- Deep evaluation of data structures☆41Updated 2 months ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Clean up the formatting of 'show' output☆22Updated 2 months ago
- An llvm pretty printer inspired by the haskell llvm binding☆28Updated last month
- Universal Register Machine implemented at the type-level of Haskell☆23Updated 8 years ago
- Backtracking monad in Haskell☆14Updated 2 years ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆18Updated 5 years ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- Dependent hash maps☆14Updated 5 months ago
- Quasiquoter for LLVM☆31Updated 6 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆13Updated 5 years ago
- A Haskell library for parsing, pretty-printing, and evaluating the Ninja build language.☆34Updated 6 years ago
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆18Updated 7 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 6 months ago
- A human readable style for binary data.☆11Updated 4 years ago