[go: nahoru, domu]
Skip to content
View MathiasVP's full-sized avatar
54 followers · 6 following
  • GitHub Staff
  • Cork, Ireland

Achievements

Achievement: Pair Extraordinairex4Achievement: Galaxy Brainx2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex4Achievement: Galaxy Brainx2Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report MathiasVP

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

  • ql Public

    Forked from github/codeql

    The libraries and queries that power CodeQL and LGTM.com

    CodeQL MIT License Updated Sep 9, 2024

  • codeql-coding-standards Public

    Forked from github/codeql-coding-standards

    This repository contains CodeQL queries and libraries which support various Coding Standards.

    CodeQL MIT License Updated Jul 12, 2024

  • MathiasVP.github.io Public

    Forked from github/personal-website

    Code that'll help you kickstart a personal website that showcases your work as a software developer.

    HTML MIT License Updated Jan 22, 2024

  • vscode-codeql Public

    Forked from github/vscode-codeql

    An extension for Visual Studio Code that adds rich language support for CodeQL

    TypeScript MIT License Updated Nov 27, 2023

  • vscode-codeql-starter Public

    Forked from github/vscode-codeql-starter

    Starter workspace to use with the CodeQL extension for Visual Studio Code.

    CodeQL MIT License Updated Feb 8, 2023

  • kitcoin Public

    Forked from codeths/kitcoin
    Svelte GNU Affero General Public License v3.0 Updated Apr 25, 2022

  • swift Public

    Forked from swiftlang/swift

    The Swift Programming Language

    C++ 1 Apache License 2.0 Updated Mar 3, 2022

  • trojan-source Public

    Forked from nickboucher/trojan-source

    Trojan Source: Invisible Vulnerabilities

    SCSS MIT License Updated Dec 3, 2021

  • STL Public

    Forked from microsoft/STL

    MSVC's implementation of the C++ Standard Library.

    C++ Other Updated Mar 24, 2021

  • npp-papyrus Public

    Forked from blu3mania/npp-papyrus

    Notepad++ plugin to provide Papyrus scripting language support

    C++ GNU General Public License v3.0 Updated Mar 17, 2021

  • tree-sitter-ql Public

    Forked from tree-sitter/tree-sitter-ql

    tree-sitter grammar for Semmle QL

    JavaScript Updated Feb 19, 2021

  • cpp-docs Public

    Forked from MicrosoftDocs/cpp-docs

    C++ Documentation

    PowerShell Creative Commons Attribution 4.0 International Updated Feb 2, 2021

  • codeql Public

    Forked from githubuniverseworkshops/codeql

    CodeQL workshop for GitHub Universe 2020

    CodeQL MIT License Updated Dec 11, 2020

  • lattice Public

    A Coq formalization of (bounded) lattices

    Coq 4 1 MIT License Updated Feb 2, 2020

  • Zee-coq Public

    Mechanization of the semantics and type system of the Zee language

    Coq MIT License Updated Dec 2, 2019

  • ni-formal-gc Public

    Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.

    Coq 9 4 MIT License Updated Oct 15, 2019

  • backtrack Public

    Racket-style pattern matching failure continuation for Haskell

    Haskell 1 MIT License Updated Apr 4, 2019

  • idris-regex Public

    Verified implementation of Brzozowski derivatives in Idris

    Idris 9 1 MIT License Updated Feb 6, 2019

  • SoArray Public

    Generic Struct-of-array transformation

    C++ MIT License Updated Dec 9, 2018

  • FLAMinLIO Public

    Implementation of FLAM in LIO

    Haskell MIT License Updated Nov 14, 2018

  • CS Public

    Counter-Strike implementation in JavaScript

    JavaScript 100 11 Updated Aug 9, 2018

  • Z Public

    Implementation of the Z programming language

    Haskell 5 1 Updated Jun 18, 2017

  • syntax-checker-checker Public

    Testing syntax checkers for the Programming Language course at Aarhus University

    Haskell 1 Updated Aug 30, 2016

  • MetaLambda Public

    Untyped lambda calculus implementation in C++ using template metaprogramming

    C++ Updated Jul 7, 2016

  • attempt-to-apply-non-procedure Public

    Instrument Scheme programs and generate unique error messages. Never ever get a "attempt to apply non-procedure"-error again!

    Haskell 1 GNU General Public License v3.0 Updated Jul 7, 2016

  • Alpha Public

    Reference compiler for the Alpha programming language

    Standard ML 4 GNU General Public License v2.0 Updated Jan 3, 2016

  • Hook Public

    Lightweight API hooking framework for the Windows API

    C++ 30 20 MIT License Updated Jul 1, 2014

  • Parse Public

    Compile time (LR) parser generator for C++

    C++ 9 3 MIT License Updated Apr 14, 2014