All software
3 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-3 of 3
oraqle
Oraqle: A Depth-Aware Secure Computation Compiler
- arithmetization
- compiler
- cryptography
- + 1
- C++
- Jupyter Notebook
- Markdown
- + 4
1
2
ghc
GHC with stream fusion, used as benchmark in the publication: Higher Order Patterns for Rewrite Rules
- compiler
- fusion
- higher order matching
- + 2
- Automake
- C
- C++
- + 16
1
1
Programs to evaluate superoptimizer STOKE.
Programs to evaluate superoptimizer STOKE.
- compiler
- optimization
- stochastic
1
0