GaloisInc / ocelotView external linksLinks
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☆15Aug 25, 2022Updated 3 years ago
- command-line Haskell with 'ghc -e'☆22Aug 11, 2017Updated 8 years ago
- A terraform module to deploy Vault as per the reference architecture☆14Mar 19, 2019Updated 6 years ago
- ☆10Mar 4, 2024Updated last year
- ☆58Updated this week
- Coda + Dekrypt: The SNARK Challenge - Reference Material☆36Mar 27, 2022Updated 3 years ago
- A fast Haskell Bloom filter library.☆60Feb 1, 2023Updated 3 years ago
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- OCaml adapters for crypto providers used in Everest☆10Sep 13, 2018Updated 7 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated last year
- Tame RecordWildCards☆14Dec 30, 2024Updated last year
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- PostgreSQL support for the drifter schema migration tool☆12Dec 25, 2017Updated 8 years ago
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- Forage is for Storage☆12Jun 15, 2022Updated 3 years ago
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Nov 5, 2023Updated 2 years ago
- Modern bindings to Oracle odpic☆12Oct 26, 2025Updated 3 months ago
- Example usage of the Haskell C FFI with hsc2hs☆12Dec 14, 2024Updated last year
- Haskell dynamic RTS loader☆13Jun 24, 2016Updated 9 years ago
- ☆15Nov 11, 2014Updated 11 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- ☆11May 7, 2023Updated 2 years ago
- Type-level interpolations in various forms☆12Dec 14, 2024Updated last year
- Haskell raw bindings to Oracle ODPI-C Library☆19Aug 14, 2022Updated 3 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
- A .Net MVC 3 Site with jQuery Mobile included for easy mobile site creation.☆19Jul 16, 2011Updated 14 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Concurrent and efficient implementation of statsd in Haskell☆19Feb 12, 2014Updated 12 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 9 years ago
- Cross platform OIDC agent☆11Feb 24, 2023Updated 2 years ago
- An implementation of a small strongly-typed functional language with parametric polymorphism, pattern-matching, and general recursion.☆11May 5, 2024Updated last year
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Simple JSON Web Token authorization with WebAuthn support☆14May 2, 2024Updated last year