foxx / elfdataembedView external linksLinks
☆19Jan 17, 2016Updated 10 years ago
Alternatives and similar repositories for elfdataembed
Users that are interested in elfdataembed are comparing it to the libraries listed below
Sorting:
- Reference implementation of Curve25519 and Curve448 as specified in RFC7748☆10Jun 22, 2019Updated 6 years ago
- A class for types with a default value☆44Oct 26, 2024Updated last year
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- Ethereum Smart Contract - Proof of Work token☆10Jul 2, 2017Updated 8 years ago
- Patches for VoIPER http://sourceforge.net/projects/voiper/ to better support client fuzzing☆19Sep 29, 2015Updated 10 years ago
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- Fast pure Haskell implementation of the PostgreSQL wire protocol☆11May 19, 2020Updated 5 years ago
- ☆12Oct 27, 2017Updated 8 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 8 years ago
- MSIEVE: A Library for Factoring Large Integers☆14Apr 7, 2023Updated 2 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Work-in-progress Dissent port/rewrite for low-latency anonymous communication☆11Jul 13, 2018Updated 7 years ago
- Hakyll support for Agda literate files☆19Jul 20, 2021Updated 4 years ago
- ☆12Jul 8, 2021Updated 4 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Dec 13, 2012Updated 13 years ago
- Generate easy-to-remember, hard-to-guess passwords☆14Mar 31, 2024Updated last year
- A hack to find types in Haskell codebases☆10Aug 15, 2015Updated 10 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- UCI Datasets for Haskell☆11Mar 17, 2017Updated 8 years ago
- Lispkit Lisp/SECD Machine☆12Sep 11, 2017Updated 8 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 7 years ago
- Haskell Hoogle search in Visual Studio Code☆13Sep 9, 2018Updated 7 years ago
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- ☆10Dec 9, 2015Updated 10 years ago
- Sparse matrix linear equation solver, using the Conjugate Gradient algorithm☆16Sep 5, 2020Updated 5 years ago
- Toolbox for Automatic Secure Two-partY computation☆10May 6, 2016Updated 9 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 6 years ago
- SECD machine and Lispkit Lisp compiler, in Python☆10Oct 25, 2017Updated 8 years ago
- ☆15Feb 1, 2026Updated last week
- A simple ML dialect☆11Jan 2, 2017Updated 9 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Cloud Haskell Supervision Trees☆11Sep 3, 2024Updated last year
- 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
- HTTP proxy for authenticating users via OAuth2☆10Sep 6, 2019Updated 6 years ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 5 months ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 3 years ago
- ☆12Feb 12, 2025Updated last year