Vassilis Papaefstathiou's repositories
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
digitaljs
Teaching-focused digital circuit simulator
digitaljs_online
Online demonstration for DigitalJS
dromajo
RISC-V RV64GC emulator designed for RTL co-simulation
fuzzolic
fuzzing + concolic = fuzzolic :)
gem5
This is an read-only mirror of the gem5 simulator. The upstream repository is stored in https://gem5.googlesource.com, code reviews should be submitted to https://gem5-review.googlesource.com/. The mirrors are synchronized every 15 minutes.
gtkwave
GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files and allows their viewing.
hammer
HAMMER: Highly Agile Masks Made Effortlessly from RTL
litepcie
Small footprint and configurable PCIe core
PeakRDL-regblock
Generate SystemVerilog RTL that implements a register block from compiled SystemRDL input.
riscv-binutils-gdb
RISC-V backports for binutils-gdb. Development is done upstream at the FSF.
riscv-dejagnu
DejaGnu RISC-V port
riscv-gnu-toolchain
GNU toolchain for RISC-V, including GCC for RVV 0.7.1
riscv-newlib
RISC-V port of newlib
SEAL
Microsoft SEAL is an easy-to-use and powerful homomorphic encryption library.
srv32
Simple 3-stage pipeline RISC-V processor