alanfalloon/ocaml-quickcheck alanfalloon/ocaml-quickcheck

  • Stars
    star
    11
  • Rank 1,694,829 (Top 34 %)
  • Language
    OCaml
  • Created over 15 years ago
  • Updated over 15 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
alanfalloon/ocaml-quickcheck
github

alanfalloon

Reviews

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

Repository Details

A mechanical translation of the Haskell QuickCheck library into Ocaml

More Repositories

1

pyipopt

Python bindings to Ipopt Non-Linear Solver.
C
8
star
2

dateutils

Utilities for manipulating dates and times
Shell
8
star
3

par2-cmdline

A command line implementation of the PAR v2.0 specification, incorporating fixes from Debian maintainer and https://github.com/viric/par2cmdline-subdir. This includes the full history imported from CVS.
C++
6
star
4

ipopt-3.3.5

Library for large-scale nonlinear optimization
C++
6
star
5

typesafe-sql

Type-safe inline SQL using template haskell and language-sqlite
Haskell
4
star
6

comet-todo

JavaScript
4
star
7

m4b-helpers

Command line tools to help create MPEG-4 m4b audio-book files with chapter information
Python
4
star
8

diff-git.el

A small emacs extension for working with the git index from within diff-mode
Emacs Lisp
3
star
9

hmatrix-nipals

Haskell library for Nonlinear Iterative Partial Least Squares method for Principal Components Analysis on large datasets
Haskell
3
star
10

hmatrix-mmap

Extend the Haskell hmatrix package with the ability to mmap vectors
Haskell
2
star
11

arld

A static library linker -- use the same flags as the linker to assemble new static libraries.
OCaml
2
star
12

percipio

Uses strace(1) to expose the actions and real dependencies of build systems
Haskell
2
star
13

bumble-umble-gee

An HTML5 game where you are a bumblebee visiting flowers
Rust
1
star
14

textdist

Utility to calculate the edit distance (Levenshtein) between two files
Haskell
1
star
15

wordjunk

Generate memorable, but random, word blobs. They make good passwords.
Haskell
1
star
16

fspot-backup

Utility to save your photos and F-Spot DB
Python
1
star
17

make

A mirror of the GNU make CVS repository from http://savannah.gnu.org/projects/make
C
1
star
18

ngram

Simple program to extract n-grams from text and spit out a random sentence
Haskell
1
star
19

git-calendar

See what you were working on by scanning the reflogs of you Git repositories
Haskell
1
star