Skip to content
View glennlaursen's full-sized avatar
2 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor
Block or Report

Block or report glennlaursen

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. vdm-plantuml-plugin vdm-plantuml-plugin Public

    Forked from jolnd/vdm-plantuml-plugin

    A plugin that is integrated into the VDM-VSCode extension (https://github.com/overturetool/vdm-vscode). The plugin enables bi-directional translations between VDM models and the textually based dia…

    Java 2

  2. WpfApp1 WpfApp1 Public

    C# 1 1

  3. SWT_Assignment3_GR16 SWT_Assignment3_GR16 Public

    C# 1

  4. DIST DIST Public

    Jupyter Notebook 1

  5. testrepository testrepository Public

    Forked from saaid10/testrepository

    1 1

  6. vdmj vdmj Public

    Forked from nickbattle/vdmj

    Formal Modelling in VDM

    Java 1