Popular repositories

1. hopper hopper Public

   Goal-directed static analysis tool for JVM languages.

   Scala 55 11

2. droidel droidel Public

   Framework model for static analysis of Android

   Java 45 14

3. text-to-sql-wizardcoder text-to-sql-wizardcoder Public

   Leveraging large language models for text-to-SQL synthesis, this project fine-tunes WizardLM/WizardCoder-15B-V1.0 with QLoRA on a custom Spider training dataset. The resultant model, achieves 61% e…

   Jupyter Notebook 39 4

4. thresher thresher Public

   Static heap reachability analysis for Java bytecode and Android memory leak finder.

   Java 31 15

5. adapton-lab.rust adapton-lab.rust Public

   Adapton Lab, written in Rust.

   Rust 15 7

6. dai dai Public

   DAI: Demanded Abstract Interpretation

   OCaml 15 5