-
University of British Columbia
- Vancouver
- abbaswu.github.io
- @gulistaniabbasi
Block or Report
Block or report abbaswu
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
quac Public
All source code for "QuAC: Quick Attribute-Centric Type Inference for Python."
Python MIT License UpdatedMay 14, 2024 -
Perform static analysis on a Python project using mypy's AST (which involves parsing Python files and performing semantic analysis, including name resolution, on the parsed Python files).
Jupyter Notebook UpdatedMay 14, 2024 -
-
-
console-menu Public
Forked from aegirhall/console-menuA simple Python menu system for building terminal user interfaces.
Python MIT License UpdatedMar 21, 2024 -
social-media-icons Public
A compilation of social media icons in SVG format.
MIT License UpdatedMar 3, 2024 -
-
extract-type-annotations Public
Extract type annotations from a Python project to a JSON file.
Python MIT License UpdatedNov 24, 2023 -
PDF and sourc code for "Giving Talks on Research: Whats and Hows," presented at Systopia Reading Group on October 27, 2023.
CSS UpdatedOct 27, 2023 -
All data processing scripts for "Simple and Effective Type Inference for Python"
Python MIT License UpdatedJun 26, 2023 -
Code that uses the built-in `ast` module to do static import analysis for pure Python projects.
Python MIT License UpdatedJun 4, 2023 -
Implementation of Syntax Guided Program Synthesis and Verification Techniques.
Jupyter Notebook MIT License UpdatedApr 28, 2023 -
get-attributes-in-type Public
Code that gets the set of attributes in a Python `type` object (i.e., a Python class).
Python MIT License UpdatedApr 21, 2023 -
type-inference-for-python Public
All source code for CPSC 539B class project "Type Inference for Python", including code for extracting typing information from typeshed, structural subtyping calculation, and a Jupyter notebook.
-
Source code and compiled PDF of the presentation for "Python in a Functional Style: Closures, Generators, and Coroutines" presented at the SPL Workshop 2023W1.
-
Source code and compiled PDF of the presentation for "Rapidly Prototyping Presentations Using Markdown with Marp" presented at the SPL Workshop 2023W2.
CSS UpdatedApr 11, 2023 -
sized-types-presentation Public
Source code and compiled PDF of the presentation for "Sized Types" made for CPSC 539B Type Systems
CSS UpdatedMar 28, 2023 -
ncmdump.rs Public
Forked from iqiziqi/ncmdump.rsnetease cloud music copyright protection file dump by rust
Rust UpdatedFeb 22, 2023 -
loop2recursion Public
All source code of "Loop2Recursion: Compiler-Assisted Wear Leveling for Non-Volatile Memory", including the Loop2Recursion LLVM Pass, the Intel Pin-based profiling tools, as well as data preprocess…
-
We simulate a CPU cache using Python coroutines for short, clean, and extensible code.
Python MIT License UpdatedOct 30, 2022 -
-
All source code of "Community Detection using Social Relations and Trajectories".
-
gitignore Public
Forked from github/gitignoreA collection of useful .gitignore templates
Creative Commons Zero v1.0 Universal UpdatedSep 18, 2022 -
-
nat-tunnel Public
Forked from rofl0r/nat-tunnelNAT Tunnel: to effortlessly serve from behind NAT
Python GNU General Public License v2.0 UpdatedNov 10, 2021