Skip to content
View daveyproctor's full-sized avatar
12 followers · 7 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report daveyproctor

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

  • personal_website Public

    personal website to live at daveyproctor.com

    HTML Updated Jan 6, 2025

  • c_algos Public

    Algorithmic Exercises in C Programming Language

    C Updated Dec 10, 2024

  • mathematical_logic Public

    Coding Exercises Inspired by Enderton's Mathematical Introduction to Logic

    Jupyter Notebook Updated Jul 4, 2024

  • Polyspeech Public

    Twitter sentiment analysis of political speech

    Jupyter Notebook Updated Dec 8, 2022

  • Network-Algorithms Public

    Algorithms and papers for scheduling tasks in networks

    Updated Jan 7, 2022

  • Configurations Public

    Dotfiles for home computer etc.

    Vim Script Updated May 3, 2019

  • Markov Public

    Library and problems exposing Markov processes such as Page Rank and Network Queues

    Jupyter Notebook Updated May 3, 2019

  • Arduino Public

    Code for Digital Systems on Arduino

    C Updated May 3, 2019

  • Blockchain Public

    Implementation of blockchain in Python

    Python Updated May 3, 2019

  • join Public

    Forked from sonali727/join

    Materials for asymptotic complexity breakout session

    Python Updated Feb 24, 2019

  • BeatYourself-NHRR5K Public

    Statistical runtime comparisons year by year in the New Haven Road Race 5K event

    Updated Feb 12, 2019

  • NLP-Annotated-Bibs Public

    Awesome Annotated Bibliographies for Natural Language Processing Topics

    Updated Dec 13, 2018

  • vimtex Public

    Forked from lervag/vimtex

    A modern vim plugin for editing LaTeX files.

    Vim Script MIT License Updated Feb 15, 2018

  • ycmd Public

    Forked from ycm-core/ycmd

    A code-completion & code-comprehension server

    C++ GNU General Public License v3.0 Updated Sep 2, 2017

  • libcs50 Public

    Forked from cs50/libcs50

    CS50 Library for C

    C Updated Aug 21, 2017

  • cpython Public

    Forked from python/cpython

    The Python programming language

    Python Other Updated Aug 20, 2017

  • docs Public

    Forked from cs50/docs

    These are CS50 documents.

    HTML Updated Aug 9, 2017

  • checks Public

    Forked from cs50/checks
    Python Updated Jul 31, 2017

  • manual50 Public

    Forked from cs50/cs50.readthedocs.io
    CSS Updated Jul 12, 2017

  • csci-2 Public

    Updated Jul 5, 2017

  • cscip14300-test Public

    Updated Jul 5, 2017

  • web-scraping-seminar Public

    An intro to Python3 web scraping for my CSCI P-14300 class

    Python Updated Jun 29, 2017

  • git-seminar Public

    Forked from hljoren/git-seminar

    Seminar for CSCIP14300

    HTML Updated Jun 29, 2017

  • N-body Public

    A non-object oriented Python implementation of the n-body simulation problem from physics / astro.

    Jupyter Notebook Updated Jun 7, 2017

  • Survey-Analysis Public

    Analysis of CS50 survey data

    Jupyter Notebook Updated Jun 5, 2017

  • From-Star-Spectra-to-Black-Hole-Detection Public

    We use spectra of a close binary star over the period of one month to see if the motion of the star is due to an accompanying stellar mass black hole.

    Jupyter Notebook 1 Updated May 25, 2017

  • Hamiltonian-Cycle-on-Cube-n Public

    Provides a linear time printout of a Hamiltonian cycle on the Cube graph.

    Racket Updated May 25, 2017

  • hello-world Public

    My first project on github!

    C Updated Dec 5, 2016

  • yhack2 Public

    just w code from android studio

    Java Updated Nov 12, 2016

  • yhack Public

    code for yhack--perhaps a map implementation of happening parties. what's lit?

    HTML Updated Nov 12, 2016