BowenZhang-UST

comp3021lab

test in advance

faust

Functional programming language for signal processing and sound synthesis

Goshawk

Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behaviors and then adopts these summaries to enhace bug detection.

lilypond

This is just a mirror of GNU LilyPond repository. If you'd like to contribute to LilyPond, please look at http://www.lilypond.org/development.html

LLVM-Techniques-Tips-and-Best-Practices-Clang-and-Middle-End-Libraries

LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries, published by Packt

music21

music21 is a Toolkit for Computational Musicology

recreational-rosette

Some fun examples of solving problems with symbolic execution

Tai-e

An easy-to-learn/use static analysis framework for Java

COMP3021-2024Spring-PA2-Solution

COMP3021-2024Spring-PA3-Solution

BowenZhang-UST/comp3021lab

test in advance

BowenZhang-UST/faust

Functional programming language for signal processing and sound synthesis

BowenZhang-UST/Goshawk

Goshawk is a static analyze tool to detect memory corruption bugs in C source codes. It utilizes NLP to infer custom memory management functions and uses data flow analysis to abstract their behaviors and then adopts these summaries to enhace bug detection.

BowenZhang-UST/lilypond

This is just a mirror of GNU LilyPond repository. If you'd like to contribute to LilyPond, please look at http://www.lilypond.org/development.html

BowenZhang-UST/LLVM-Techniques-Tips-and-Best-Practices-Clang-and-Middle-End-Libraries

LLVM Techniques, Tips, and Best Practices Clang and Middle-End Libraries, published by Packt

BowenZhang-UST/music21

music21 is a Toolkit for Computational Musicology

BowenZhang-UST/recreational-rosette

Some fun examples of solving problems with symbolic execution

BowenZhang-UST/Tai-e

An easy-to-learn/use static analysis framework for Java