Cryptobox Haskell FFI
☆27Oct 10, 2024Updated last year
Alternatives and similar repositories for cryptobox-haskell
Users that are interested in cryptobox-haskell are comparing it to the libraries listed below
Sorting:
- Modular arithmetic, promoting moduli to the type level☆24Sep 13, 2025Updated 5 months ago
- ELF data structures for Haskell☆24May 9, 2023Updated 2 years ago
- TripleSec is a simple, triple-paranoid, symmetric encryption library☆13Dec 26, 2023Updated 2 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- simple client connection library in haskell with builtin features: SSL/TLS, SOCKS, session management.☆59Jul 19, 2023Updated 2 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 5 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 8 years ago
- Haskell combinators for executing IO actions in parallel on a thread pool☆47Dec 27, 2025Updated 2 months ago
- DEPRECATED: Haskell library for retrieving and linkifying a Twitter user timeline.☆17Aug 2, 2023Updated 2 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- the (very humble) beginnings of a kafka client for haskell☆35Aug 8, 2018Updated 7 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Gidl: an Interface Description Language☆10Aug 11, 2017Updated 8 years ago
- Exhaustiveness and redundancy analysis for Haskell pattern matching☆12Aug 16, 2017Updated 8 years ago
- SPAKE2 key exchange protocol for Haskell☆14May 24, 2023Updated 2 years ago
- Deprecated in favour of https://github.com/tonyday567/numhask☆14Apr 9, 2017Updated 8 years ago
- deprecated in favor of -XQualifiedDo☆41May 8, 2021Updated 4 years ago
- Flexible session middleware for WAI☆15Nov 11, 2020Updated 5 years ago
- A server-side library in Haskell for sending push notifications to devices running different OS.☆26Aug 29, 2017Updated 8 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 8 years ago
- A Conflict-Free Replicated JSON Datatype for Haskell☆34Jul 14, 2018Updated 7 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Sep 1, 2025Updated 6 months ago
- compact, human-readable json pretty printing☆14Oct 10, 2023Updated 2 years ago
- simplified import of lens-family☆18Jul 12, 2016Updated 9 years ago
- Well-typed paths☆20Dec 17, 2018Updated 7 years ago
- An example of dynamically loading a Haskell source module☆18May 9, 2018Updated 7 years ago
- 🧠 Type-safe memory units☆61Nov 6, 2020Updated 5 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Apr 1, 2023Updated 2 years ago
- a modern library for typed path manipulation in Haskell☆36Jul 24, 2025Updated 7 months ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- Examples of relevant technologies for implementing DSLs in Haskell.☆15Sep 28, 2015Updated 10 years ago
- Ties the knot on data structures that reference each other by unique keys☆48Aug 2, 2024Updated last year
- Socks proxy library for haskell☆19Aug 23, 2022Updated 3 years ago
- Web application to quickly and easily log your weightlifting sessions☆39Apr 28, 2016Updated 9 years ago
- doom☆17Mar 8, 2016Updated 9 years ago
- Haskell implementation of an LRU cache☆25Dec 29, 2025Updated 2 months ago