Shamir secret sharing in Haskell.
☆15Oct 16, 2017Updated 9 years ago
Alternatives and similar repositories for shamir-secret-sharing
Users that are interested in shamir-secret-sharing are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆18Nov 18, 2020Updated 5 years ago
- Experimental implementation of generic record subtyping☆18May 9, 2024Updated 2 years ago
- A monadic interface for DAG construction.☆25May 11, 2021Updated 5 years ago
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- Small implementation of OutsideIn(X) type checking algorithm☆32Apr 13, 2015Updated 11 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Romulus family of lightweight cryptographic algorithms (authenticated encryption and hashing).☆10Sep 20, 2022Updated 4 years ago
- GHC + Cabal docker image☆12Feb 1, 2022Updated 4 years ago
- Functional Programming course for Telecom Nancy, using Haskell☆10Updated this week
- Implementation of Kuznechik cipher Russian standard GOST R 3412-2015 - 128 bit block size / 256 bit key - 8,16, 32, 64, 128-bit x86 versi…☆10Jun 27, 2016Updated 10 years ago
- ☆12Sep 23, 2021Updated 5 years ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 10 years ago
- Usable encrypted email☆12Oct 4, 2020Updated 6 years ago
- Simon & Speck block cipher implementation open source code in C☆12May 2, 2016Updated 10 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Command interpreter using Continuation monad and variants☆12Dec 7, 2019Updated 6 years ago
- rust wrapper for libyubihsm☆18Sep 29, 2026Updated last month
- Handle pattern with servant to build flexible web-apps in Haskell☆16Nov 22, 2022Updated 3 years ago
- Control.Lens.Action☆17Mar 12, 2023Updated 3 years ago
- A crate for reading, parsing, verifying, and generating OpenSSH certificates and keys.☆20Oct 23, 2026Updated 2 weeks ago
- Experimental IPFS backend for Irmin☆11Oct 31, 2022Updated 4 years ago
- A dumb little utility to streamline the use of ssh-agent with PIV-enabled YubiKeys on OS X.☆12Dec 3, 2020Updated 5 years ago
- The webdriver WC3 API represented as a Haskell type☆11Updated this week
- Store a stable pointer in a foreign context to be retrieved later. Persists through GHCi reloads.☆35Feb 26, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Exploration of the Piece Table data structure in Haskell☆10Mar 17, 2017Updated 9 years ago
- Automatically tip contributors with Bitcoin!☆12Aug 1, 2016Updated 10 years ago
- Constructing Quantum resistant digital signatures using hash functions☆16Apr 21, 2024Updated 2 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Go implementation of the Peer-to-Peer Streaming Peer Protocol (rfc7574)☆11Sep 24, 2017Updated 9 years ago
- ☆12Apr 4, 2018Updated 8 years ago
- Run commands on remote machines using ssh☆14Oct 2, 2022Updated 4 years ago
- Allows a seamless native-like Docker experience on Mac OSX without using boot2docker.☆12Jul 10, 2015Updated 11 years ago
- Yes, really!☆11May 8, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Haskell implementation of ULIDs (Unique Lexicographically Sortable Identifiers)☆37Feb 3, 2025Updated last year
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Mar 31, 2017Updated 9 years ago
- Provide a Docker Image for Fake-SQS☆10Feb 17, 2023Updated 3 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 years ago
- TokenTools is the successor project to a C program I wrote called CardRand, allowing Linux to use the random number generator in cryptogr…☆16May 15, 2017Updated 9 years ago
- Example application showing snap, heist, authentication and digestive functors working together☆10Jun 17, 2012Updated 14 years ago
- A Purescript library to interact with Google Cloud Firestore☆13Apr 28, 2020Updated 6 years ago