M
MathiasVP
28 repositories
57 followers
Cork, Ireland
Repositories
Select a repository to view its commits, contributors, and more.public
CS
Counter-Strike implementation in JavaScript
JavaScript
103
11
2
Updated 2 months ago
public
Hook
Lightweight API hooking framework for the Windows API
C++
30
20
0
Updated 8 months ago
public
idris-regex
Verified implementation of Brzozowski derivatives in Idris
Idris
9
1
0
Updated 7 months ago
public
Parse
Compile time (LR) parser generator for C++
C++
9
3
0
Updated 7 months ago
public
ni-formal-gc
Coq formalization of timing-sensitive noninterference for a garbage collected language with heap and runtime pc level.
Coq
9
4
0
Updated 2 years ago
public
Z
Implementation of the Z programming language
Haskell
5
1
0
Updated 7 years ago
public
Alpha
Reference compiler for the Alpha programming language
Standard ML
4
0
0
Updated 7 years ago
public
lattice
A Coq formalization of (bounded) lattices
Coq
4
1
0
Updated 2 years ago
public
syntax-checker-checker
Testing syntax checkers for the Programming Language course at Aarhus University
Haskell
1
0
0
Updated 8 years ago
public
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
0
0
Updated 9 years ago
public
backtrack
Racket-style pattern matching failure continuation for Haskell
Haskell
1
0
0
Updated a year ago
public
FLAMinLIO
Implementation of FLAM in LIO
Haskell
0
0
0
Updated 6 years ago