Popular repositories Loading

1. milvus milvus Public

   Forked from milvus-io/milvus

   Milvus -- the world's fastest vector search engine.

   C++

2. cudd cudd Public

   Forked from ivmai/cudd

   CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

   C

3. fphdl fphdl Public

   Forked from FPHDL/fphdl

   VHDL-2008 Support Library

   VHDL

4. abc abc Public

   Forked from berkeley-abc/abc

   ABC: System for Sequential Logic Synthesis and Formal Verification

   C

5. qfs qfs Public

   Forked from quantcast/qfs

   Quantcast File System

   C++