Skip to content

@HKUSTGZ-MICS-LYU HKUSTGZ-MICS-LYU

Change the repository type filter

All

    Repositories list

    24 repositories

    • MiCo-python

      Public
      End-to-End Mixed Precision Neural Network Co-Exploration Framework for Edge AI
      Python
      •0•11•12•3•Updated Jun 15, 2026Jun 15, 2026

    • MiCo-SW

      Public
      MiCo Baremetal Software Project Template
      C
      •0•0•0•0•Updated Jun 15, 2026Jun 15, 2026

    • MiCo-Lib

      Public
      C Library of MiCo
      C
      •0•0•0•3•Updated Jun 15, 2026Jun 15, 2026

    • VexiiRiscv-MiCo

      Public
      VexiiRiscv with MiCo Ext.
      Scala
      •
      MIT License
      •55•2•0•0•Updated Jun 10, 2026Jun 10, 2026

    • OpenPPA-Arch

      Public
      SystemVerilog
      •
      Other
      •0•4•0•0•Updated May 26, 2026May 26, 2026

    • BNRV

      Public
      Lightweight BitNet Acceleration on RISC-V via Custom Insturctions (ICCD '25)
      C
      •2•8•0•0•Updated Apr 22, 2026Apr 22, 2026

    • AutoVeriFix

      Public
      LLM-powered automated framework for Verilog hardware design verification and repair
      C
      •
      MIT License
      •1•6•0•0•Updated Mar 17, 2026Mar 17, 2026

    • CKKS-Python

      Public
      Pure Python implementation of RNS-CKKS and FHEW homomorphic encryption schemes
      Python
      •0•1•0•0•Updated Jan 26, 2026Jan 26, 2026

    • bitfusion

      Public
      Simulator for BitFusion
      Python
      •26•0•0•0•Updated Jan 14, 2026Jan 14, 2026

    • chipyard-dse

      Public
      An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more
      Scala
      •
      BSD 3-Clause "New" or "Revised" License
      •879•0•0•0•Updated Jan 8, 2026Jan 8, 2026

    • FlattenRTL

      Public
      This is a python repo for flattening Verilog
      Verilog
      •5•20•1•0•Updated Dec 19, 2025Dec 19, 2025

    • FineGrainedFuzz

      Public
      Verilog
      •
      Apache License 2.0
      •0•5•0•0•Updated Dec 2, 2025Dec 2, 2025

    • RLConcolic

      Public
      Python
      •
      MIT License
      •0•11•0•0•Updated Nov 27, 2025Nov 27, 2025

    • script-eval

      Public
      Tcl
      •0•0•0•0•Updated Nov 18, 2025Nov 18, 2025

    • MiCoSocSW

      Public
      Pre-built ELFs for MiCoSoc
      C
      •0•0•0•0•Updated Nov 17, 2025Nov 17, 2025

    • PowerDataset

      Public
      Python
      •0•0•0•0•Updated Sep 1, 2025Sep 1, 2025

    • bitllama2.c

      Public
      C
      •
      MIT License
      •0•2•0•0•Updated Apr 30, 2025Apr 30, 2025

    • FEHE

      Public
      Python
      •0•0•0•0•Updated Mar 25, 2025Mar 25, 2025

    • SPaDE-VexRiscv

      Public
      SPaDE for VexRiscv
      Python
      •
      MIT License
      •0•8•0•0•Updated Jan 7, 2025Jan 7, 2025

    • Baremetal-NN

      Public
      Tool for converting PyTorch models into raw C codes with minimal dependency and some performance optimizations.
      C
      •9•0•0•0•Updated Dec 9, 2024Dec 9, 2024

    • rocket-chip

      Public
      Rocket Chip Generator
      Scala
      •
      Other
      •1.3k•0•0•0•Updated Dec 3, 2024Dec 3, 2024

    • MACO

      Public
      Python
      •0•3•1•0•Updated Sep 10, 2024Sep 10, 2024

    • FlattenRTL_SV

      Public
      Verilog
      •1•0•0•0•Updated Aug 13, 2024Aug 13, 2024

    • VexRiscv

      Public
      A FPGA friendly 32 bit RISC-V CPU implementation (Extended with DSE supports)
      Assembly
      •
      MIT License
      •504•0•0•0•Updated Jan 24, 2024Jan 24, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.