Pinned Repositories
80x86
80186 compatible SystemVerilog CPU core and FPGA reference design
ApproximateAdders_LowLatency
ApproximateAdders_LowPower
ariane
Ariane is a 6-stage RISC-V CPU capable of booting Linux
asn1c
The ASN.1 Compiler
criu
Checkpoint/Restore tool
incubator-tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
verible
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, and formatter.
MUsamaJaved's Repositories
MUsamaJaved/ariane
Ariane is a 6-stage RISC-V CPU capable of booting Linux
MUsamaJaved/asn1c
The ASN.1 Compiler
MUsamaJaved/criu
Checkpoint/Restore tool
MUsamaJaved/incubator-tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
MUsamaJaved/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
MUsamaJaved/qemu
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
MUsamaJaved/verible
Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, and formatter.
MUsamaJaved/Advanced-Operating-Systems
In this repository, I will publish my notes for GaTech's Advanced Operating Systems course (CS6210).
MUsamaJaved/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
MUsamaJaved/CSCD70
Tutorial Materials for CSCD70 Compiler Optimization
MUsamaJaved/FutureSDR
An Async SDR Runtime for Heterogeneous Architectures
MUsamaJaved/ghidra
Ghidra is a software reverse engineering (SRE) framework
MUsamaJaved/gpgpu-sim_distribution
GPGPU-Sim provides a detailed simulation model of a contemporary GPU running CUDA and/or OpenCL workloads and now includes an integrated (and validated) energy model, GPUWattch.
MUsamaJaved/libmetal
An abstraction layer across user-space Linux, baremetal, and RTOS environments
MUsamaJaved/linux-kernel-module-cheat
The perfect emulation setup to study and modify the Linux kernel, kernel modules, QEMU and gem5. Highly automated. Thoroughly documented. GDB step debug and KGDB just work. Automated tests. Powered by Buildroot. "Tested" in Ubuntu 18.04 host, x86_64, ARMv7 and ARMv8 guests with kernel v5.0.
MUsamaJaved/MCS
MUsamaJaved/Odroid_xu3_kernel
My modified kernel for the Odroid XU3
MUsamaJaved/polymer
Bridging polyhedral analysis tools to the MLIR framework
MUsamaJaved/pre-alpha-release
Black Parrot is coming soon.
MUsamaJaved/riscv-cores-list
RISC-V Cores, SoC platforms and SoCs
MUsamaJaved/riscv-isa-sim
Spike, a RISC-V ISA Simulator
MUsamaJaved/rpc-mt
Multithreaded RPC for Linux
MUsamaJaved/rtems
Realtime SMP Kernel, networking, file-systems, drivers, BSPs, samples, and testsuite.
MUsamaJaved/RVirt
RISC-V hypervisor written in Rust
MUsamaJaved/smf
Fastest RPC in the west
MUsamaJaved/spatial
Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"
MUsamaJaved/taco
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
MUsamaJaved/this-week-in-rust
Data for this-week-in-rust.org
MUsamaJaved/threadx
Azure RTOS ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.
MUsamaJaved/TraceRecorderSource