Paul Holser (pholser)

pholser

Geek Repo

Location:Dallas TX USA

Github PK Tool:Github PK Tool

Paul Holser's repositories

junit-quickcheck

Property-based testing, JUnit-style

Language:JavaLicense:MITStargazers:951Issues:35Issues:193

property-binder

A Java library for typed access to property files

Language:JavaLicense:NOASSERTIONStargazers:12Issues:3Issues:1

advent-of-code

For https://adventofcode.com

Language:ClojureStargazers:0Issues:3Issues:0

building-decision-support-systems

MiniZinc exercises from Mark Wallace's book

Stargazers:0Issues:3Issues:0

clojure-brave-true

Working thru "Clojure for the Brave and True" book

Language:ClojureStargazers:0Issues:3Issues:0

duly-noted

Annotation-finding strategies for Java

Language:JavaStargazers:0Issues:3Issues:2
Language:ClojureStargazers:0Issues:2Issues:0
Language:PythonStargazers:0Issues:2Issues:0

intcode

Intcode computer for Advent of Code 2019

Language:JavaStargazers:0Issues:3Issues:0
Language:JavaStargazers:0Issues:3Issues:0

junit4

A programmer-oriented testing framework for Java.

Language:JavaLicense:EPL-1.0Stargazers:0Issues:2Issues:0

junit5-exploration

Showing off some of the neat stuff in JUnit 5.x

Language:JavaStargazers:0Issues:2Issues:0
Language:JavaStargazers:0Issues:3Issues:0
Language:ClojureStargazers:0Issues:2Issues:0

minizinc-python-puzzles

Solving problems using MiniZInc's Python interface

Language:PythonStargazers:0Issues:3Issues:0
Language:ClojureStargazers:0Issues:2Issues:0

opti101

Working thru Gurobi Optimization's Opti 101 course

Language:PythonStargazers:0Issues:2Issues:0

opti201

Material for Gurobi Optimization's Opti 201 course

Language:Jupyter NotebookStargazers:0Issues:2Issues:0
Language:ClojureStargazers:0Issues:2Issues:0
Language:JavaLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:ClojureStargazers:0Issues:2Issues:0
Language:ClojureStargazers:0Issues:3Issues:0

quickcheck-assembly

test of junit quickcheck with assembly plugin

Language:JavaStargazers:0Issues:2Issues:0

records

Clojure REST API exploration

Language:ClojureLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:ClojureStargazers:0Issues:2Issues:0

shrinking-challenge

Comparing shrinking approaches and performance across different PBT libraries

Language:JavaStargazers:0Issues:2Issues:0
Language:ClojureStargazers:0Issues:2Issues:0
Language:ClojureStargazers:0Issues:2Issues:0

tourney-pairing-minizinc

Sample tournament pairing model/data

Language:PythonStargazers:0Issues:2Issues:0
Language:ClojureStargazers:0Issues:2Issues:0