Skip to content
View DRMacIver's full-sized avatar
336 followers · 13 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Starstruckx4Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Mars 2020 ContributorAchievement: Starstruckx4Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@HypothesisWorks
Block or Report

Block or report DRMacIver

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • minithesis Public

    A very minimal implementation of the core idea of Hypothesis

    Python 121 13 Other Updated Jul 5, 2024

  • foundational-llm-evals Public

    Python 3 Updated Apr 18, 2024

  • notebook Public

    Python 13 2 Updated Mar 16, 2024

  • shrinkray Public

    Shrinkray is a modern multi-format test-case reducer

    Python 71 2 MIT License Updated Dec 27, 2023

  • urwid Public

    Forked from urwid/urwid

    Console user interface library for Python (official repo)

    Python GNU Lesser General Public License v2.1 Updated Nov 26, 2023

  • SAT-reduce Public

    Test-case reducer for SAT problems

    Python 4 2 MIT License Updated Jul 14, 2023

  • updateable-sampler Public

    Random sampling with updatable weights

    Python MIT License Updated Jul 13, 2023

  • shed Public

    Forked from Zac-HD/shed

    `shed` canonicalises Python code. Shed your legacy, stop bikeshedding, and move on. Black++

    Python GNU Affero General Public License v3.0 Updated Mar 7, 2023

  • psycopg Public

    Forked from psycopg/psycopg

    New generation PostgreSQL database adapter for the Python programming language

    Python GNU Lesser General Public License v3.0 Updated Feb 16, 2023

  • misc-talks Public

    Talks I give that *aren't* about Hypothesis

    JavaScript 1 Updated Jun 3, 2022

  • practical-wisdom Public

    Updated May 31, 2022

  • each Public

    A small batch processing utlity

    Python 12 2 Other Updated Jan 21, 2022

  • junkdrawer Public

    Random code that I wrote because I felt like it

    Python Other Updated Apr 20, 2021

  • things-to-try Public

    Some useful things to try

    4 Updated Sep 6, 2020

  • shrinking-challenge Public

    Forked from jlink/shrinking-challenge

    Comparing shrinking approaches and performance across different PBT libraries

    Java Updated Jul 20, 2020

  • hecate Public

    A terrible way of testing terminal applications

    Python 44 13 Other Updated Mar 20, 2020

  • shrinkray-old Public

    Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats

    Python 30 Other Updated Jan 23, 2020

  • academic-writing-lecture-3 Public

    JavaScript Updated Nov 27, 2019

  • codemesh-2019 Public

    Talk about test-case reduction for codemesh 2019

    JavaScript Updated Nov 8, 2019

  • academic-writing-lecture-2 Public

    Second lecture on academic writing

    JavaScript Updated Nov 6, 2019

  • academic-writing-lecture-1 Public

    Slides for a lecture on academic writing

    JavaScript Updated Oct 23, 2019

  • systems Public

    14 2 Updated May 9, 2019

  • lstar Public

    Python 2 GNU General Public License v3.0 Updated Apr 23, 2019

  • onwardessay19 Public

    Forked from agroce/onwardessay19

    Onward! essay 2019 repo

    TeX Updated Apr 16, 2019

  • hypothesis-corpora Public

    A separate repository for storing corpora of Hypothesis test cases.

    Updated Mar 5, 2019

  • picire Public

    Forked from renatahodovan/picire

    Parallel Delta Debugging Framework

    Python Other Updated Feb 14, 2019

  • anyreduce Public

    Python 1 Updated Dec 19, 2018

  • hypothesis-talks Public

    Slides for talks about Hypothesis

    HTML 1 1 Updated Nov 1, 2018

  • cadence Public

    1 Updated Sep 21, 2018

  • research-notebook Public

    A collection of research notes and paper reviews

    TeX 5 Other Updated Aug 22, 2018