a-hamza-r
Graduate Computer Science student at FSU Area of interest: Formal Methods, Program Analysis, Software Verification, Compilers
Pinned Repositories
a-hamza-r.github.io
a-hamza-web.github.io
Ameer Hamza
ActiveLearning
An Active Learning Algorithm on two datasets
aeval
AE-solver and Skolemizer
Battleship-AI
Battleship game with probalistic learning
Binary-Rearrangement
Rearranging a binary to reduce the execution time
branch-prediction
A repository for Computer Architecture course
Compiler-For-a-Functional-Language
ComputerSecurity
A repository for computer security course assignments, projects and related code
p2p-file-storage
A peer-to-peer file storage system
a-hamza-r's Repositories
a-hamza-r/a-hamza-r.github.io
a-hamza-r/a-hamza-web.github.io
Ameer Hamza
a-hamza-r/aeval
AE-solver and Skolemizer
a-hamza-r/branch-prediction
A repository for Computer Architecture course
a-hamza-r/Compiler-For-a-Functional-Language
a-hamza-r/ComputerSecurity
A repository for computer security course assignments, projects and related code
a-hamza-r/crypto_investment_monitor
A small simple application to monitor crypto currency investments and get statistics
a-hamza-r/deeplearning
A repository for deep and reinforcement learning projects
a-hamza-r/dmr05d.github.io
a-hamza-r/ebpf-verifier
A new eBPF verifier, using abstract interpretation
a-hamza-r/eBPF_verifiier_model
Haskell model of eBPF type system
a-hamza-r/flask-init-mini
Boilerplate for Flask project
a-hamza-r/flask-sherlock
Movie recommendation microservice
a-hamza-r/Formal-OS
A personal project to develop a formally verified OS
a-hamza-r/HACK-UCF
My attempt on solving challenges from the CTF (Capture the Flag) contest called Hack UCF
a-hamza-r/Hierarchical-Clustering
Agglomerative hierarchical clustering algorithm
a-hamza-r/HPC-application-analysis
Using Classification and Clustering techniques for analysis of High-Performance Computing application
a-hamza-r/invariant-detection
A small verification software for static detection of invariant using data traces
a-hamza-r/learning-ebpf
Learning eBPF, published by O'Reilly
a-hamza-r/my_website
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
a-hamza-r/one-page-resume
LaTeX template for my personal resume
a-hamza-r/P2P-Messenger-App
A command line based messenger app where you can add friends and chat with friends
a-hamza-r/portfolio
A portfolio website
a-hamza-r/RNN-and-LSTM-Assignment
RNN and LSTM assignment using MNIST dataset
a-hamza-r/RNN-to-Model-Protein-Sequences
a-hamza-r/springboot_test
Web Application with Spring Boot
a-hamza-r/twenty-seconds-cv-one-page
Write Beautiful Curriculum Vitae in LaTex, that ensures twenty seconds reading.
a-hamza-r/UMDCTF
Attempted CTF from University of Maryland
a-hamza-r/workshop-github-fundamentals
a-hamza-r/z3_racer
RACER implementation version from The Z3 Theorem Prover