makintunde

followers

following

stars

Imperial College London

London, United Kingdom

Michael Akintunde's repositories

haskell-verifier

A model checker for temporal logic formulae

Language:Haskell3 20

CA-Cheat-Sheet

Complex Analysis Cheat Sheet

Language:TeX2 30

ply-pddl-parser

A PDDL parser written using PLY.

Language:Python2 20

verifier

A verifier for logical formulas.

Language:C++2 20

algebraii

Algebra II Notes

Language:TeX1 20

AlgorithmVisualizer

Algorithm Visualizer

Language:JavaScriptNOASSERTION1 20

blurry-i3-lock

A blurry i3 lock screen

Language:Shell1 20

computer-vision

Library for performing various computations used in Computer Vision

Language:C++1 20

gram-schmidt

Matlab implementation of Gram-Schmidt algorithm.

Language:TeX1 20

haskell-tests

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

Language:Haskell1 20

info-and-codes

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

Language:TeX1 20

lzw

Implementation of Lempel, Ziv and Welch compression

Language:C++1 20

mcmas-pddl

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

Language:CNOASSERTION1 20

mechanics-explored

Mechanics Simulator for A Level Physics students

Language:Java1 20

notebooks

Jupyter notebooks

Language:Jupyter NotebookBSD-3-Clause1 20

pddl-parser

:snake: Propositional planning in Python

Language:Python1 20

PLNN-verification

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

Language:PythonGPL-3.01 20

pyformance

Performance metrics, based on Coda Hale's Yammer metrics

Language:PythonNOASSERTION1 20

reddit-scraper

Quick and dirty Reddit scraper.

Language:Python1 20

redshift

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.

Language:CGPL-3.01 20

relax

Performs the relaxation labelling algorithm.

Language:C++1 20

vectalign

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

Language:Java1 20

vimrc

.vimrc

Language:Vim script1 20