Mohannadcse

Pinned Repositories

langroid
Harness LLMs with Multi-Agent Programming
Language:Python2.3k 19 156220
AlloySpecRepair
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
Language:Alloy2 1 00
cs704
CS 704 course website - Principles of Programming Languages
Language:TeX10
DepsRAG
Interactive LLM Chatbot that constructs represents software dependencies as a knowledge graph and answers user's questions leveraging RAG approach
Language:Python9 3 00
DINA
A hybrid analysis tool for detecting vulnerable inter-app communication between Android Apps
Language:C++2 1 31
IoTCOM
Verifying safety of interactions between IoT apps
Language:Alloy7 3 32
lectures
Oxford Deep NLP 2017 course
10
llvm
Compiler Course
Language:C++10
LMCAS
Language:C3 6 11
LMCAS_LLVM_Debloating_Passes
Contains llvm passes for debloating and profiling
Language:C++2 3 00

Mohannadcse's Repositories

Mohannadcse/DepsRAG
Interactive LLM Chatbot that constructs represents software dependencies as a knowledge graph and answers user's questions leveraging RAG approach
Language:Python9 3 00
Mohannadcse/IoTCOM
Verifying safety of interactions between IoT apps
Language:Alloy7 3 32
Mohannadcse/LMCAS
Language:C3 6 11
Mohannadcse/AlloySpecRepair
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
Language:Alloy2 1 00
Mohannadcse/DINA
A hybrid analysis tool for detecting vulnerable inter-app communication between Android Apps
Language:C++2 1 31
Mohannadcse/LMCAS_LLVM_Debloating_Passes
Contains llvm passes for debloating and profiling
Language:C++2 3 00
Mohannadcse/amazon-bedrock-workshop
This is a workshop designed for Amazon Bedrock a foundational model service.
Language:Jupyter Notebook
Mohannadcse/autoMPI
Automatic annotation for Provenance analysis
Language:C2 0
Mohannadcse/cml
Continuous Machine Learning
Language:Python0 0
Mohannadcse/cml_base_case_test_wrf
Language:Python
Mohannadcse/code-imitator
Language:C++0 0
Mohannadcse/cppast
Library to parse and work with the C++ AST
Language:C++1 0
Mohannadcse/devops-course
Repository of the DevOps course at KTH Royal Institute of Technology DD2482
Language:Python0 0
Mohannadcse/devops-exercises
Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP, DNS, Elastic, Network, Virtualization. DevOps Interview Questions
Language:Python0 0
Mohannadcse/DevOpsCourse
0 0
Mohannadcse/distroless
🥑 Language focused docker images, minus the operating system.
Language:Starlark1 0
Mohannadcse/KG-LLM-Papers
[Paper List] Papers integrating knowledge graphs (KGs) and large language models (LLMs)
0 0
Mohannadcse/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
Language:C++2 0
Mohannadcse/LMCAS_Demo
Language:Makefile1 0
Mohannadcse/LMCAS_Partial_interpreter
Files for the debloating paper
Language:C++5 01
Mohannadcse/log4jpwn_demo
log4j rce test environment and poc
Language:Python1 0
Mohannadcse/mlops-course
A project-based course on the foundations of MLOps to responsibly develop, deploy and maintain ML.
Language:Jupyter Notebook0 0
Mohannadcse/mohannad-personal-profile
Language:HTML2 0
Mohannadcse/Normalizer-authorship
Language:C++2 0
Mohannadcse/RedTeam-Tactics-and-Techniques
Red Teaming Tactics and Techniques
Language:PowerShell0 0
Mohannadcse/scored23_release
Language:C0 0
Mohannadcse/simple_cov_badge
Language:Dockerfile1 1
Mohannadcse/viaduct
An extensible compiler for cryptography.
Language:Kotlin0 0
Mohannadcse/wyvern
LazyEval
Language:C++0 0
Mohannadcse/youtubeToMP3
Language:Python1 0