clrnd/quickcheck-examples clrnd/quickcheck-examples

  • Stars
    star
    2
  • Language
    Haskell
  • License
    Other
  • Created almost 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
clrnd/quickcheck-examples
github

clrnd

Reviews

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

Repository Details

More Repositories

1

win95-maze-rs

Windows 95® screensaver maze in Rust with OpenGL.
Rust
60
star
2

discogs2pg

Discogs to PostgreSQL importer
Haskell
35
star
3

latexpad

A LaTeX Scratchpad for sharing.
JavaScript
16
star
4

wave2blofeld

A WAV file to Waldorf Blofeld SysEx wavetable utility.
C++
14
star
5

imgsort

Sort pixels in images.
Rust
7
star
6

formal-verification-articles

A collection of articles about formal verification of programs in industry.
6
star
7

tateti-tateti

Meta tic-tac-toe ncurses game.
Haskell
4
star
8

dson-parsec

DSON parser in Haskell with Parsec.
Haskell
3
star
9

chingolo-bot

Telegram bot for chingoling.
Python
1
star
10

PyGame-Demos

Python
1
star
11

discogs-yt

Youtube links on Discogs' relase pages.
JavaScript
1
star