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