Multi-input functional encryption
☆12Feb 8, 2018Updated 8 years ago
Alternatives and similar repositories for mife
Users that are interested in mife are comparing it to the libraries listed below
Sorting:
- C implementation of the CLT13 multilinear map☆14Nov 29, 2018Updated 7 years ago
- An implementation of Function-Hiding Inner Product Encryption☆47Mar 4, 2016Updated 9 years ago
- Functional encryption library in C☆89Feb 19, 2021Updated 5 years ago
- Implementation of cryptographic program obfuscation☆42Feb 8, 2018Updated 8 years ago
- Source code of the Whitebox Contest Submission Server☆34Aug 5, 2024Updated last year
- ☆34Mar 8, 2021Updated 4 years ago
- Sudoku solver in Golang☆10Sep 6, 2020Updated 5 years ago
- Prototype of fraud proofs.☆12Feb 13, 2022Updated 4 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- ☆10May 10, 2016Updated 9 years ago
- NixOS configurations☆17Dec 7, 2015Updated 10 years ago
- Embed a directory of static files in your application and serve them from your Servant server☆14Oct 2, 2024Updated last year
- Finitely represented /total/ maps☆17Nov 23, 2019Updated 6 years ago
- ☆10Mar 26, 2021Updated 4 years ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago
- One page visualization tool for AWS CloudFormation scripts☆10Jun 30, 2023Updated 2 years ago
- A simple JIT library in Rust☆19Dec 7, 2014Updated 11 years ago
- Applies generative AI to produce digital products such as t-shirt designs for Print-on-Demand platforms☆14Apr 1, 2024Updated last year
- A .Net MVC 3 Site with jQuery Mobile included for easy mobile site creation.☆19Jul 16, 2011Updated 14 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Repository for all documentation written about tools hosted at github.com/containers☆13Mar 29, 2023Updated 2 years ago
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- Haskell raw bindings to Oracle ODPI-C Library☆19Aug 14, 2022Updated 3 years ago
- ☆11May 7, 2023Updated 2 years ago
- Implements an encryptable machine (shapeCPU Java)☆11Aug 26, 2015Updated 10 years ago
- Modern bindings to Oracle odpic☆12Oct 26, 2025Updated 4 months ago
- Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms☆14Aug 29, 2025Updated 6 months ago
- ☆12Feb 3, 2022Updated 4 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago
- 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
- Simple erlang implementation of the server side of the Universal 2nd Factor (U2F) open authentication standard☆10Nov 1, 2017Updated 8 years ago
- Existential witnesses, singletons, and classes for operations on GHC TypeLits☆16Jul 25, 2024Updated last year
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 9 years ago
- ☆10Jan 7, 2024Updated 2 years ago
- Simple Haskell API for LMDB☆12Jun 17, 2019Updated 6 years ago
- An efficient, lazy suffix tree implementation☆13Dec 10, 2020Updated 5 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 simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago