profile
viewpoint
Michael Akintunde makintunde Imperial College London London, United Kingdom

sacha-cs/groupee 3

groupee web app

makintunde/haskell-verifier 1

A model checker for temporal logic formulae

makintunde/ply-pddl-parser 1

A PDDL parser written using PLY.

makintunde/verifier 1

A verifier for logical formulas.

makintunde/algebraii 0

Algebra II Notes

makintunde/AlgorithmVisualizer 0

Algorithm Visualizer

makintunde/blurry-i3-lock 0

A blurry i3 lock screen

makintunde/CA-Cheat-Sheet 0

Complex Analysis Cheat Sheet

makintunde/computer-vision 0

Library for performing various computations used in Computer Vision

makintunde/gram-schmidt 0

Matlab implementation of Gram-Schmidt algorithm.

fork MikeMcQuaid/opensourcefriday

🚲 Contribute to the open source community every Friday

https://opensourcefriday.com

fork in 13 hours

created repositorynandor/llir-linux-headers

LLIR port of linux-headers

created time in 14 hours

created repositorynandor/llir-linux-headers

linux-headers for LLIR

created time in 15 hours

startedImageOptim/ImageOptim

started time in 16 hours

startedmcuadros/ofelia

started time in 2 days

startedjump-dev/SumOfSquares.jl

started time in 2 days

created repositorygnatpat/aoc-2020

created time in 3 days

fork ekmett/vulkano

Safe and rich Rust wrapper around the Vulkan API

fork in 3 days

startedSamVerschueren/tsd-typescript

started time in 3 days

startedrougier/nano-emacs

started time in 3 days

startedbeautifulinteractions/beautiful-react-hooks

started time in 4 days

startedbregman-arie/devops-resources

started time in 4 days

startedtype-challenges/type-challenges

started time in 4 days

startedlayrjs/layr

started time in 4 days

startedCesiumGS/cesium

started time in 4 days

startedBuilderIO/jsx-lite

started time in 4 days

startedartilleryio/artillery

started time in 5 days

startedtensorflow/ranking

started time in 5 days

startedapple/tensorflow_macos

started time in 5 days

startedDedalusProject/dedalus

started time in 5 days

startedlocaltunnel/server

started time in 7 days

startedbenjamine/jsondiffpatch

started time in 7 days

startedTONYHOKAN/docker_nginx_localtunnel

started time in 7 days

startedkyle-n/HighlightedTextEditor

started time in 8 days

startedyusukeurakami/dreamer-pytorch

started time in 10 days

startedjuliusfrost/dreamer-pytorch

started time in 10 days

fork kcsongor/openapi3

OpenAPI 3.0 data model

fork in 10 days

fork MikeMcQuaid/homebrew-xorg

:heavy_multiplication_x: :penguin: X.Org implementation of the X Window System

https://docs.brew.sh/Homebrew-on-Linux

fork in 10 days

created repositorysindresorhus/nano-queue

Tiny queue data structure

created time in 10 days

more