mathiasvp Goto Github PK

alpha

Reference compiler for the Alpha programming language

attempt-to-apply-non-procedure

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

backtrack

Racket-style pattern matching failure continuation for Haskell

codeql

CodeQL workshop for GitHub Universe 2020

codeql-coding-standards

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

cpp-docs

C++ Documentation

cs

Counter-Strike implementation in JavaScript

flaminlio

Implementation of FLAM in LIO

hook

Lightweight API hooking framework for the Windows API

idris-regex

Verified implementation of Brzozowski derivatives in Idris

kitcoin

lattice

A Coq formalization of (bounded) lattices

mathiasvp.github.io

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

metalambda

Untyped lambda calculus implementation in C++ using template metaprogramming

ni-formal-gc

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

npp-papyrus

Notepad++ plugin to provide Papyrus scripting language support

parse

Compile time (LR) parser generator for C++

ql

The libraries and queries that power CodeQL and LGTM.com

soarray

Generic Struct-of-array transformation

stl

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

swift

The Swift Programming Language

syntax-checker-checker

Testing syntax checkers for the Programming Language course at Aarhus University

tree-sitter-ql

tree-sitter grammar for Semmle QL

trojan-source

Trojan Source: Invisible Vulnerabilities

vscode-codeql

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

vscode-codeql-starter

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

z

Implementation of the Z programming language

zee-coq

Mechanization of the semantics and type system of the Zee language