Skip to content
@cuplv

Programming Languages and Verification at the University of Colorado Boulder

Popular repositories Loading

  1. hopper hopper Public

    Goal-directed static analysis tool for JVM languages.

    Scala 56 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 43 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

Repositories

Showing 10 of 109 repositories
  • dai Public

    DAI: Demanded Abstract Interpretation

    cuplv/dai’s past year of commit activity
    OCaml 15 5 1 0 Updated Sep 23, 2024
  • ccmsg Public
    cuplv/ccmsg’s past year of commit activity
    Haskell 0 0 0 0 Updated Sep 18, 2024
  • ddsl Public
    cuplv/ddsl’s past year of commit activity
    Haskell 0 MIT 0 0 0 Updated Sep 10, 2024
  • cuplv.github.io Public

    Website for CU Programming Languages and Verification (CUPLV)

    cuplv/cuplv.github.io’s past year of commit activity
    HTML 1 4 0 0 Updated Aug 5, 2024
  • shawn Public

    Shawn Academic Web Page

    cuplv/shawn’s past year of commit activity
    HTML 0 0 0 0 Updated Jul 5, 2024
  • Historia Public

    Application only analysis of event-driven Android applications using message history logics.

    cuplv/Historia’s past year of commit activity
    Scala 5 1 2 1 Updated Apr 30, 2024
  • shawn_AI Public

    Abstract interpreter of the future project.

    cuplv/shawn_AI’s past year of commit activity
    Scala 0 0 0 2 Updated Apr 26, 2024
  • cuplv/Andrew_Abstract’s past year of commit activity
    Scala 0 0 0 1 Updated Apr 19, 2024
  • yurei Public
    cuplv/yurei’s past year of commit activity
    Scala 0 0 0 0 Updated Mar 5, 2024
  • WCET_via_EVT Public

    The worst case execution times via extreme value theory

    cuplv/WCET_via_EVT’s past year of commit activity
    Jupyter Notebook 0 Apache-2.0 0 0 0 Updated Feb 14, 2024

Top languages

Loading…

Most used topics

Loading…