Popular repositories Loading

1. ROBDD-to-crossbar ROBDD-to-crossbar Public

   Implementation of mapping ROBDDs to memristive crossbar circuits

   Python 1

2. LLVM-to-crossbar LLVM-to-crossbar Public

   Mapping loop-free C programs with integer arithmetic to memristor crossbars

   C++ 1

3. Model-counting-crossbar-synthesis Model-counting-crossbar-synthesis Public

   Automated synthesis of memristive crossbar circuits by model checking

   Python

4. JETCAS-Model-Counting JETCAS-Model-Counting Public

   Code for finding crossbar designs that perform edge detection, with approximate model counting

   Python

5. ramulator-pim ramulator-pim Public

   Forked from pkarthik88/ramulator-pim

   A fast and flexible simulation infrastructure for exploring general-purpose processing-in-memory (PIM) architectures. Ramulator-PIM combines a widely-used simulator for out-of-order and in-order pr…

   HTML

6. linuxbrew-core linuxbrew-core Public

   Forked from sjackman/linuxbrew-core

   🍻🐧 Core formulae for the Homebrew package manager on Linux

   Ruby