quinn-dougherty Goto Github PK

ab-demo

Simple front-end A/B experiment

agile-bets

Win money (also known as fake internet points) for betting that someone you assigned an issue to will actually follow through.

alignable-structures

documentation site for the alignable structures workshop, philadelphia nov 3-6 2022

arbitrage

tool for competitions and bookmaking

arena_3.0

NixOS config for ARENA self-study

bird-up

a webapp with heroku for comparing and predicting tweets

bisect-starter-rescript

Bisect_ppx + ReScript starter repo | just showing that rescript: 10.0.0-rc.1 is broken

bisect_ppx

Code coverage for OCaml and ReScript

blockchain

build-week-survival-guide-data-engineering-machine-learning

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

ceatask-april2021

chime

COVID-19 Hospital Impact Model for Epidemics

circuitsvis

Mechanistic Interpretability Visualizations using React

computer-architecture

Computer Architecture

coq-lens

Lenses in Coq

data-structures

datahack2020

This repository is to hold scripts and containers for the Opioid Data Hackathon

declarative-programming-streams

Active streaming declarative programmers

declare

quinn's personal infra hub

dl2

DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, outputs, weights) and to query networks for inputs fulfilling a logical formula.

dl2-replication

DL2 (https://www.sri.inf.ethz.ch/publications/fischer2019dl2), in jax

doom-emacs

An Emacs configuration for the stubborn martian vimmer

ds-bw

ds-sprint-01-dealing-with-data

Notebooks, assignments, and sprint challenge for Data Science Unit 1 Sprint 1

ds-sprint-02-storytelling-with-data

Notebooks, assignments, and sprint challenge for Data Science Unit 1 Sprint 2

ds-sprint-03-creating-professional-portfolios

ds-unit-1-sprint-4-statistical-tests-and-experiments

Notebooks, assignments, and sprint challenge for Data Science Unit 1 Sprint 4

ds-unit-2-sprint-1-linear-algebra

ds-unit-2-sprint-2-linear-regression