Mathias Vorreiter Pedersen (@MathiasVP)
github

MathiasVP

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    168
  • Global Rank 141,206 (Top 5 %)
  • Followers 50
  • Following 6
  • Registered over 11 years ago
  • Most used languages
    Haskell
         36.4 %
    Coq     18.2 %
    C++
         18.2 %
    Standard ML     9.1 %
    JavaScript
         9.1 %
    Idris     9.1 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 6,412
  • Country Ranking
    Coq     11
    Standard ML     13
    Idris     14
    Haskell
         274
    C++
         963
    JavaScript
         1,556

Top repositories

1

CS

Counter-Strike implementation in JavaScript
JavaScript
97
star
2

Hook

Lightweight API hooking framework for the Windows API
C++
29
star
3

ni-formal-gc

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

Parse

Compile time (LR) parser generator for C++
C++
8
star
5

idris-regex

Verified implementation of Brzozowski derivatives in Idris
Idris
8
star
6

Z

Implementation of the Z programming language
Haskell
5
star
7

lattice

A Coq formalization of (bounded) lattices
Coq
4
star
8

Alpha

Reference compiler for the Alpha programming language
Standard ML
4
star
9

attempt-to-apply-non-procedure

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

backtrack

Racket-style pattern matching failure continuation for Haskell
Haskell
1
star
11

syntax-checker-checker

Testing syntax checkers for the Programming Language course at Aarhus University
Haskell
1
star