MathiasVP/Z MathiasVP/Z

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Haskell
  • Created over 9 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MathiasVP/Z
github

MathiasVP

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Implementation of the Z programming language

More 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

lattice

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

Alpha

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

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
9

backtrack

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

syntax-checker-checker

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