vlstill/hsExprTest vlstill/hsExprTest

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Haskell
  • License
    Other
  • Created over 10 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
vlstill/hsExprTest
github

vlstill

Reviews

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

Repository Details

Automatic testing of small programming assignments and comparison of Haskell expressions and types based on QuickCheck. Intended for automated testing of homeworks on FI MUNI.

More Repositories

1

pcc

Property Checking for Catch2
C++
9
star
2

texstyle

My collection of LaTeX styles
TeX
4
star
3

tedi

Memory-Model-Aware Analysis of Parallel Programs (PhD Thesis Proposal, September 2017)
TeX
3
star
4

aoc

Advent of Code
C++
3
star
5

irssiScripts

Some usefull scripts I created for use with great IRC client irssi. So far not really usefull for someone else as they are missing configuration.
Perl
2
star
6

mgrthesis

Master thesis: Optimization of LLVM Bitcode fo Verification Using DIVINE Model Checker
TeX
1
star
7

presentations

My presentations for conferences and lectures.
TeX
1
star
8

ttk4145

Project and excercise work for TTK4145 Real-time Programming at NTNU Trondheim, spring semester 2014.
C++
1
star