Muhammad Usama Javed's repositories
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.
Advanced-Operating-Systems
In this repository, I will publish my notes for GaTech's Advanced Operating Systems course (CS6210).
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.
CSCD70
Tutorial Materials for CSCD70 Compiler Optimization
FutureSDR
An Async SDR Runtime for Heterogeneous Architectures
ghidra
Ghidra is a software reverse engineering (SRE) framework
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.
libmetal
An abstraction layer across user-space Linux, baremetal, and RTOS environments
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.
Odroid_xu3_kernel
My modified kernel for the Odroid XU3
polymer
Bridging polyhedral analysis tools to the MLIR framework
pre-alpha-release
Black Parrot is coming soon.
riscv-cores-list
RISC-V Cores, SoC platforms and SoCs
riscv-isa-sim
Spike, a RISC-V ISA Simulator
rpc-mt
Multithreaded RPC for Linux
rtems
Realtime SMP Kernel, networking, file-systems, drivers, BSPs, samples, and testsuite.
RVirt
RISC-V hypervisor written in Rust
smf
Fastest RPC in the west
spatial
Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"
taco
The Tensor Algebra Compiler (taco) computes sparse tensor expressions on CPUs and GPUs
this-week-in-rust
Data for this-week-in-rust.org
threadx
Azure RTOS ThreadX is an advanced real-time operating system (RTOS) designed specifically for deeply embedded applications.