Repositories list

• ravencheck

  Public
  Decidable verification of Rust code using relational abstraction.

  Rust

  •

  MIT License

  •0•0•0•0•Updated Aug 18, 2025Aug 18, 2025

• cuplv.github.io

  Public
  Website for CU Programming Languages and Verification (CUPLV)

  HTML

  •4•1•0•0•Updated Jun 19, 2025Jun 19, 2025

• 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•2•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. The resultant model, achieves 61% execution accuracy, incorporating database context for validation.

  Jupyter Notebook

  •5•44•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

  •307•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

• HIMO_intent

  Public
  Jupyter Notebook

  •0•0•0•0•Updated Apr 9, 2022Apr 9, 2022

• Quark

  Public
  Jupyter Notebook

  •0•1•0•0•Updated Mar 18, 2022Mar 18, 2022

• ucap-tpc

  Public
  Haskell

  •

  MIT License

  •0•0•0•0•Updated Jan 14, 2022Jan 14, 2022