Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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

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