Oblivious transfer library for rust
☆11Dec 19, 2019Updated 6 years ago
Alternatives and similar repositories for ocelot
Users that are interested in ocelot are comparing it to the libraries listed below
Sorting:
- Multi-party computation utilities toolkit for rust☆16Dec 19, 2019Updated 6 years ago
- An interpreter for the Mistral language.☆19Aug 29, 2017Updated 8 years ago
- C implementation of the CLT13 multilinear map☆14Nov 29, 2018Updated 7 years ago
- Rust implementation of the BMR16 arithmetic garbling scheme.☆34Dec 19, 2019Updated 6 years ago
- Authenticated encryption scheme prover/synthesizer☆16Aug 25, 2022Updated 3 years ago
- command-line Haskell with 'ghc -e'☆22Aug 11, 2017Updated 8 years ago
- ☆10Mar 4, 2024Updated 2 years ago
- A terraform module to deploy Vault as per the reference architecture☆14Mar 19, 2019Updated 6 years ago
- ☆60Feb 25, 2026Updated last week
- Coda + Dekrypt: The SNARK Challenge - Reference Material☆35Mar 27, 2022Updated 3 years ago
- A fast Haskell Bloom filter library.☆60Feb 1, 2023Updated 3 years ago
- An attempt to formalize unix cat in fiat☆11May 28, 2017Updated 8 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago
- Cross platform OIDC agent☆11Feb 24, 2023Updated 3 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- ☆24Jan 23, 2017Updated 9 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
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- Tame RecordWildCards☆14Dec 30, 2024Updated last year
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Rust JSON-RPC client for the Factom protocol☆10Dec 10, 2020Updated 5 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Version-specific nix project specifications☆12Nov 12, 2019Updated 6 years ago
- LaTeX package to Do The Right Thing☆13Sep 8, 2021Updated 4 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- Pure Rust implementation of the post-quantum secure digital signature scheme FAEST☆16Feb 19, 2026Updated 2 weeks ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.☆11May 5, 2024Updated last year
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- Forage is for Storage☆12Jun 15, 2022Updated 3 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- IronCore Labs SDK for NodeJS Applications☆12Updated this week
- A .Net MVC 3 Site with jQuery Mobile included for easy mobile site creation.☆19Jul 16, 2011Updated 14 years ago