Popular repositories

1. EquivalenceChecker_FSMDA Public

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

   C 1

2. softmax_alternatives Public

   Code for "Exploring Alternatives to Softmax Function"

   Python 1 2

3. kunalbanerjee.github.io Public

   Homepage of Kunal Banerjee

   HTML

4. EquivalenceChecker_ADDG Public

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

   C

5. libxsmm Public

   Forked from libxsmm/libxsmm

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

   C

6. BDD2Verilog Public

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

   C