Michael Akintunde

A model checker for temporal logic formulae

Library for performing various computations used in Computer Vision

Complex Analysis Cheat Sheet

Matlab implementation of Gram-Schmidt algorithm.

Redshift adjusts the color temperature of your screen according to your surroundings. This may help your eyes hurt less if you are working in front of the screen at night.

.vimrc

Jupyter notebooks

Unofficial notes from the Information and Codes course at Imperial College London

Algebra II Notes

Solutions for Haskell tests taken from the first-year programming course at Imperial College.

Tool for create complex morphing animations using VectorDrawables (allows morphing between any pair of SVG image)

Mechanics Simulator for A Level Physics students

Forked from http://vas.doc.ic.ac.uk/software/mcmas/download/

A blurry i3 lock screen

All code for the Piecewise Linear Neural Networks verification: A comparative study paper

Quick and dirty Reddit scraper.

A PDDL parser written using PLY.

:snake: Propositional planning in Python

Performance metrics, based on Coda Hale's Yammer metrics

A verifier for logical formulas.

Performs the relaxation labelling algorithm.

Implementation of Lempel, Ziv and Welch compression

Algorithm Visualizer