Parser for ELF object format.
☆11Dec 24, 2021Updated 4 years ago
Alternatives and similar repositories for elf
Users that are interested in elf are comparing it to the libraries listed below
Sorting:
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- ListT done right☆15Oct 11, 2023Updated 2 years ago
- ☆15May 16, 2017Updated 8 years ago
- Exploring low-level Nix, NixOS and system concepts☆23Nov 11, 2019Updated 6 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 8 years ago
- Extends binary with parsec/attoparsec style parsing combinators☆26Feb 2, 2022Updated 4 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- Library and macros to simplify writing Haskell FFI code☆40Dec 4, 2022Updated 3 years ago
- URI manipulation facilities☆28Feb 20, 2025Updated last year
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- Perform GPIO from Haskell☆21Aug 28, 2019Updated 6 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 8 years ago
- Portable temporary file and directory support for Windows and Unix.☆25Oct 30, 2022Updated 3 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ☆26May 9, 2016Updated 9 years ago
- Implementation of semver and NPM-style semantic version ranges in Haskell☆12Apr 8, 2020Updated 5 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Green Card, a foreign function interface pre-processor for Haskell.☆11Apr 14, 2015Updated 10 years ago
- A Bluespec SystemVerilog library of miscellaneous components☆18Apr 14, 2025Updated 11 months ago
- RISC-V BSV Specification☆23Jan 18, 2020Updated 6 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 10 months ago
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Haskell parser and printer for the TOML 1.0.0 file format☆29Updated this week
- Resin: high performance variable binder and ast manipulation lib☆13Jan 1, 2019Updated 7 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 7 years ago
- Tesla API for Haskell☆15Dec 15, 2025Updated 3 months ago
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- A toy JS to ARM assembly compiler, in Haskell☆17May 30, 2022Updated 3 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- Generic Programming using True Sums of Products☆163Jan 7, 2026Updated 2 months ago
- Haskell libraries for OpenTracing.io☆16May 21, 2018Updated 7 years ago
- ☆21Feb 21, 2018Updated 8 years ago