Skip to content
View markpock's full-sized avatar

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Block or report markpock

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

Popular repositories Loading

  1. fitch-proof-for-propositional-logic fitch-proof-for-propositional-logic Public

    A utility for proofs in the propositional calculus. Currently finished - a way of parsing (most) valid strings in the PC as Sentences which can be added to proofs. Working on a mechanism for machin…

    Python 1 1

  2. git_test git_test Public

    A first GitHub repository

  3. ElevatorSimulator ElevatorSimulator Public

    Forked from StephenOrJames/ElevatorSimulator

    Python elevator simulator system

    Python

  4. 163-Final-Project 163-Final-Project Public

    Forked from krishna-panchap/163-Final-Project

    doing sus things to predict war

    Python

  5. vectors-in-r3 vectors-in-r3 Public

    A small little repo modelling vectors and vector operations in R3.

    Python

  6. approximate-linear-regression approximate-linear-regression Public

    A random attempt at manually using a 2d gradient descent - derivative descent? to implement linear regression.

    Python