Popular repositories Loading

1. EquivalenceChecker_FSMDA EquivalenceChecker_FSMDA Public

   Equivalence checker for programs, modeled as FSMDAs, undergoing code motion transformations and/or arithmetic transformations

   C 2

2. softmax_alternatives softmax_alternatives Public

   Code for "Exploring Alternatives to Softmax Function"

   Python 2 4

3. BDD2Verilog BDD2Verilog Public

   A tool to translate Binary Decision Diagrams to Verilog code to protect against side-channel attacks

   C 1

4. kunalbanerjee.github.io kunalbanerjee.github.io Public

   Homepage of Kunal Banerjee

   HTML

5. EquivalenceChecker_ADDG EquivalenceChecker_ADDG Public

   Equivalence checker for array-intensive (dataflow) programs which are modeled as ADDGs

   C

6. libxsmm libxsmm Public

   Forked from libxsmm/libxsmm

   Library targeting Intel Architecture for small, dense or sparse matrix multiplications, and small convolutions.

   C