Skip to content

@cuplv Programming Languages and Verification at the University of Colorado Boulder

Change the repository type filter

All

    Repositories list

    116 repositories

    • ravencheck

      Public
      Decidable verification of Rust code using relational abstraction.
      Rust
      •
      MIT License
      •1•3•8•0•Updated Apr 7, 2026Apr 7, 2026

    • cuplv.github.io

      Public
      Website for CU Programming Languages and Verification (CUPLV)
      HTML
      •4•1•0•0•Updated Mar 25, 2026Mar 25, 2026

    • CASE

      Public
      Cumulative Abstract Semantics via Effekt
      Python
      •0•2•0•0•Updated Mar 13, 2026Mar 13, 2026

    • ravencheck-papers

      Public
      0•0•0•0•Updated Mar 9, 2026Mar 9, 2026

    • LLM-Synthesis-ACM-SIGPLAN

      Public
      TeX
      •0•0•0•0•Updated Feb 21, 2026Feb 21, 2026

    • TM-PINNs

      Public
      Codebase for Taylor-Model Physics Informed Neural Networks
      Python
      •
      MIT License
      •1•2•0•0•Updated May 29, 2025May 29, 2025

    • shawn

      Public
      Shawn Academic Web Page
      HTML
      •0•0•0•0•Updated Mar 24, 2025Mar 24, 2025

    • yurei

      Public
      Scala
      •0•0•0•0•Updated Mar 14, 2025Mar 14, 2025

    • replication-rally

      Public
      Rust
      •
      MIT License
      •0•0•0•0•Updated Feb 18, 2025Feb 18, 2025

    • super-v

      Public
      Haskell
      •
      MIT License
      •0•1•0•0•Updated Feb 12, 2025Feb 12, 2025

    • dai

      Public
      DAI: Demanded Abstract Interpretation
      OCaml
      •5•16•1•0•Updated Sep 23, 2024Sep 23, 2024

    • ccmsg

      Public
      Haskell
      •
      Other
      •0•0•0•0•Updated Sep 18, 2024Sep 18, 2024

    • Historia

      Public
      Application only analysis of event-driven Android applications using message history logics.
      Scala
      •2•5•2•1•Updated Apr 30, 2024Apr 30, 2024

    • shawn_AI

      Public
      Abstract interpreter of the future project.
      Scala
      •0•0•0•2•Updated Apr 26, 2024Apr 26, 2024

    • Andrew_Abstract

      Public
      Scala
      •0•0•0•1•Updated Apr 19, 2024Apr 19, 2024

    • WCET_via_EVT

      Public
      The worst case execution times via extreme value theory
      Jupyter Notebook
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 14, 2024Feb 14, 2024

    • TraceRunner

      Public
      Tool for generating dynamic traces of android applications.
      Java
      •0•3•21•1•Updated Jan 31, 2024Jan 31, 2024

    • adapton

      Public
      Adapton Project Homepage
      2•2•0•1•Updated Dec 26, 2023Dec 26, 2023

    • Waldo

      Public
      Waldo library for proving indistinguishability properties in F*
      F*
      •
      Apache License 2.0
      •1•1•0•0•Updated Dec 14, 2023Dec 14, 2023

    • 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…
      Jupyter Notebook
      •5•46•0•0•Updated Dec 12, 2023Dec 12, 2023

    • ucap-haskell

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Oct 2, 2023Oct 2, 2023

    • bectex

      Public
      Personal macros and some starter files for LaTeX projects (Bor-Yuh Evan Chang).
      TeX
      •1•0•0•0•Updated Sep 11, 2023Sep 11, 2023

    • Historia_old

      Public
      Application only analysis of event-driven Android applications using message history logics.
      Scala
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 10, 2023Jul 10, 2023

    • FlowDroid_ftc

      Public
      FlowDroid Static Data Flow Tracker
      Java
      •
      GNU Lesser General Public License v2.1
      •316•0•0•0•Updated Apr 10, 2023Apr 10, 2023

    • FdroidDownloader

      Public
      A (formerly Scala) Python program to download fdroid apps.
      Jupyter Notebook
      •0•1•0•0•Updated Jan 30, 2023Jan 30, 2023

    • Fixrbot

      Public
      Fixrbot is a GitHub App that analyses the API usage patterns.
      TypeScript
      •
      Apache License 2.0
      •0•3•4•22•Updated Jan 9, 2023Jan 9, 2023

    • verify-rt

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Nov 16, 2022Nov 16, 2022

    • dmoon

      Public
      HTML
      •0•0•0•1•Updated Oct 6, 2022Oct 6, 2022

    • snr22

      Public
      The 8th International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR22)
      HTML
      •0•0•0•0•Updated Sep 12, 2022Sep 12, 2022

    • QuarkPaper

      Public
      Paper repository for MRDT Quark distributed runtime
      TeX
      •0•0•0•0•Updated May 9, 2022May 9, 2022
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.