Pinned Repositories
aoc2018
Advent of Code 2018
free-generators
hgoldstein95.github.io
Harrison Goldstein's personal website.
MIPS-Web
A web application to convert MIPS assembly to 16-bit instructions.
nlu-parsers
quick-cover
A toy implementation of QuickCover, a tool that modifies QuickCheck with ideas from combinatorial testing.
reflective-minimal
resume
Harrison Goldstein's Resume
ungenerators
hgoldstein95's Repositories
hgoldstein95/free-generators
hgoldstein95/ungenerators
hgoldstein95/reflective-minimal
hgoldstein95/hgoldstein95.github.io
Harrison Goldstein's personal website.
hgoldstein95/resume
Harrison Goldstein's Resume
hgoldstein95/aoc2020
hgoldstein95/aoc2022
hgoldstein95/api-samples
Code samples for YouTube APIs, including the YouTube Data API, YouTube Analytics API, and YouTube Live Streaming API. The repo contains language-specific directories that contain the samples.
hgoldstein95/atlas
A Framework for Model-Backed Generators. Backend for AutoPandas (https://autopandas.io)
hgoldstein95/bolero
property testing and verification front-end for Rust
hgoldstein95/CIS670-project
hgoldstein95/crowbar
Property fuzzing for OCaml
hgoldstein95/hypothesis
Hypothesis is a powerful, flexible, and easy to use library for property-based testing.
hgoldstein95/lstm-gen-experiments
hgoldstein95/minima
Minima is a one-size-fits-all Jekyll theme for writers.
hgoldstein95/njpls-may2023-website
hgoldstein95/plausible
hgoldstein95/plclub-web
A Hakyll [plclub] website.
hgoldstein95/QpfTypes
A WIP definitional (co)datatype package for Lean4
hgoldstein95/rbt-tyche-test
hgoldstein95/reflective_ml
Randomized testing framework, designed for compatibility with Base
hgoldstein95/regex-derivative-stream
hgoldstein95/rl-gen
hgoldstein95/styleguide
rules for writing and typesetting
hgoldstein95/synquid
hgoldstein95/tourist-serialize
hgoldstein95/trie-regex
Experiments with language derivatives.
hgoldstein95/tyche-data
hgoldstein95/wpe-ii
hgoldstein95/YTQL