Alternatives and similar repositories for elfdataembed

Users that are interested in elfdataembed are comparing it to the libraries listed below

• nnathan / eccsnacks

  View on GitHub
  Reference implementation of Curve25519 and Curve448 as specified in RFC7748
  ☆10Jun 22, 2019Updated 6 years ago
• mauke / data-default

  View on GitHub
  A class for types with a default value
  ☆44Oct 26, 2024Updated last year
• drdo / logic-translation

  View on GitHub
  Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
  ☆10May 22, 2024Updated last year
• HarryR / PoWToken

  View on GitHub
  Ethereum Smart Contract - Proof of Work token
  ☆10Jul 2, 2017Updated 8 years ago
• gremwell / voiper

  View on GitHub
  Patches for VoIPER http://sourceforge.net/projects/voiper/ to better support client fuzzing
  ☆19Sep 29, 2015Updated 10 years ago
• thinkpad20 / rowling

  View on GitHub
  A simple, easily embeddable pure-functional language with static typing and row polymorphism.
  ☆10Jul 9, 2015Updated 10 years ago
• diagrams / dual-tree

  View on GitHub
  Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.
  ☆16May 13, 2025Updated 9 months ago
• zadarnowski / postgresql-wire-protocol

  View on GitHub
  Fast pure Haskell implementation of the PostgreSQL wire protocol
  ☆11May 19, 2020Updated 5 years ago
• IronGauntlets / EthereumBlockchainVisualisation

  View on GitHub
  ☆12Oct 27, 2017Updated 8 years ago
• Cognimeta / perdure

  View on GitHub
  Robust persistence for typed immutable data
  ☆16Nov 5, 2016Updated 9 years ago
• limeburst / cadet

  View on GitHub
  Keyboard controller written in Ivory
  ☆10Mar 3, 2017Updated 8 years ago
• upiter / msieve

  View on GitHub
  MSIEVE: A Library for Factoring Large Integers
  ☆14Apr 7, 2023Updated 2 years ago
• psibi / sysinfo

  View on GitHub
  Haskell Interface for getting overall system statistics
  ☆16Feb 8, 2019Updated 7 years ago
• dedis / prifi_archive

  View on GitHub
  Work-in-progress Dissent port/rewrite for low-latency anonymous communication
  ☆11Jul 13, 2018Updated 7 years ago
• bitonic / hakyll-agda

  View on GitHub
  Hakyll support for Agda literate files
  ☆19Jul 20, 2021Updated 4 years ago
• duog / generic-lens-labels

  View on GitHub
  ☆12Jul 8, 2021Updated 4 years ago
• NicolasT / paxos

  View on GitHub
  A Haskell library implementing several Paxos-related algorithms
  ☆25Dec 13, 2012Updated 13 years ago
• sgillespie / gibberish

  View on GitHub
  Generate easy-to-remember, hard-to-guess passwords
  ☆14Mar 31, 2024Updated last year
• bgamari / play-type-search

  View on GitHub
  A hack to find types in Haskell codebases
  ☆10Aug 15, 2015Updated 10 years ago
• mguentner / nix-ipfs

  View on GitHub
  This repo is deprecated -> goto https://github.com/NixIPFS;
  ☆12Jan 9, 2017Updated 9 years ago
• glutamate / datasets

  View on GitHub
  UCI Datasets for Haskell
  ☆11Mar 17, 2017Updated 8 years ago
• AshleyF / Lispkit

  View on GitHub
  Lispkit Lisp/SECD Machine
  ☆12Sep 11, 2017Updated 8 years ago
• chrisdone-archive / caseof

  View on GitHub
  A simple way to query constructors, like cases but slightly more concise
  ☆11Mar 7, 2018Updated 7 years ago
• caneroj1 / hoogle-vscode

  View on GitHub
  Haskell Hoogle search in Visual Studio Code
  ☆13Sep 9, 2018Updated 7 years ago
• conal / total-map

  View on GitHub
  Finitely represented /total/ maps
  ☆17Nov 23, 2019Updated 6 years ago
• fpco / yesod-ghcjs

  View on GitHub
  ☆10Dec 9, 2015Updated 10 years ago
• LeventErkok / conjugateGradient

  View on GitHub
  Sparse matrix linear equation solver, using the Conjugate Gradient algorithm
  ☆16Sep 5, 2020Updated 5 years ago
• tastyproject / tasty

  View on GitHub
  Toolbox for Automatic Secure Two-partY computation
  ☆10May 6, 2016Updated 9 years ago
• tolysz / c-mosquitto

  View on GitHub
  Simple Amazon IoT compatible client
  ☆13Oct 24, 2019Updated 6 years ago
• HarryR / secdpy

  View on GitHub
  SECD machine and Lispkit Lisp compiler, in Python
  ☆10Oct 25, 2017Updated 8 years ago
• haskell / array

  View on GitHub
  ☆15Feb 1, 2026Updated last week
• kseo / poly

  View on GitHub
  A simple ML dialect
  ☆11Jan 2, 2017Updated 9 years ago
• louispan / ghcjs-base-stub

  View on GitHub
  Allow GHCJS projects to compile under GHC and develop using intero
  ☆10Aug 27, 2022Updated 3 years ago
• haskell-distributed / distributed-process-supervisor

  View on GitHub
  Cloud Haskell Supervision Trees
  ☆11Sep 3, 2024Updated last year
• LumiGuide / lumi-example

  View on GitHub
  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
• ip1981 / sproxy2

  View on GitHub
  HTTP proxy for authenticating users via OAuth2
  ☆10Sep 6, 2019Updated 6 years ago
• ekmett / hybrid-vectors

  View on GitHub
  Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms
  ☆14Aug 29, 2025Updated 5 months ago
• jcristovao / newtype-generics

  View on GitHub
  A typeclass and set of functions for working with newtypes.
  ☆10May 19, 2022Updated 3 years ago
• mfourne / eccrypto

  View on GitHub
  ☆12Feb 12, 2025Updated last year