markpock Goto Github PK

100-prisoners-riddle

An implementation of the canonical solution to the 100 Prisoners Riddle. WIP, the probabilities do not line up with the expected 31% at the moment.

163-final-project

doing sus things to predict war

animating-higher-dimensional-functions

A small console utility for animating an arbitrary higher-dimensional function using matplotlib.

approximate-linear-regression

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

classical-runge-kutta-for-1st-order-odes

A short implementation of RK4, the 4-parameter classical Runge-Kutta method.

cpu-lru-cache

dh2022-project

dh2023

elevatorsimulator

Python elevator simulator system

fitch-proof-for-propositional-logic

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 machine proof.

git_test

A first GitHub repository

honors-portfolio

A portfolio of reflections and artefacts for Interdisciplinary Honors at the University of Washington.

parallelstreams

A partial implementation of Java's Streams API fully in parallel using the ForkJoin framework. Inspired by UW's CSE 332, Data Structures and Parallelism.

patient-chat

recipes

The Odin Project Foundations HTML project, Recipes.

remote-file-search-engine

rust-webserver

A port of CSE 333's quarterlong project to Rust so I can learn Rust.

validators

Validates the arguments of a function if it's type-annotated. Also includes a validator for dataclasses built on the same underlying function (to be used with the dataclass decorator).

vectors-in-r3

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