Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by Mohannadcse
A curated list of projects in awesome lists by Mohannadcse .
https://github.com/mohannadcse/depsrag
Interactive LLM Chatbot that constructs direct and transitive software dependencies as a knowledge graph and answers user's questions leveraging RAG and critic-agent approach
agentic-rag chat dependency-chain dependency-graph llm multi-agent-llms rag software-dependencies
Last synced: 06 Dec 2024
https://github.com/mohannadcse/iotcom
Verifying safety of interactions between IoT apps
call-graph cfg groovy icfg java
Last synced: 06 Dec 2024
https://github.com/mohannadcse/lmcas_llvm_debloating_passes
Contains llvm passes for debloating and profiling
Last synced: 22 Dec 2024
https://github.com/mohannadcse/alloyspecrepair
An Empirical Evaluation of Pre-trained Large Language Models for Repairing Declarative Formal Specifications
alloy alloy-analyzer declarative-language gpt llm pre-trained-language-models repair
Last synced: 22 Dec 2024
https://github.com/mohannadcse/dina
A hybrid analysis tool for detecting vulnerable inter-app communication between Android Apps
Last synced: 22 Dec 2024
https://github.com/mohannadcse/autompi
Automatic annotation for Provenance analysis
Last synced: 22 Dec 2024
https://github.com/mohannadcse/lmcas_partial_interpreter
Files for the debloating paper
Last synced: 22 Dec 2024