Joshua's repositories
DpllSatSolver
Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithm
HavelHakimiAlgorithm
Small python3 program implementing the Havel-Hakimi algorithm (recursively)
corona-tracking-app
Corona Tracking App, developed in the context of the #WirVsVirus Hackathon by the german government. See https://wirvsvirushackathon.org/
ClassPrinter
Java Utility that lets you print fields, constructors, methods and inner classes of a class using reflection
corona-tracking-backend
Backend of the Corona Tracking App, developed in the context of the #WirVsVirus Hackathon by the german government. See https://wirvsvirushackathon.org/
MnistToImgFiles
Small python 3 tool to load the MNIST dataset from keras and save each entry to a *.png file
AssetSizer
Create all different sized image files of Android Assets from one file
jekyll-github-showcase-template
customizable jekyll template that lets you display your GitHub repositories dynamically on your website
jekyllthemes
A directory of the best-looking themes for Jekyll blogs
ObjectInspector
Inspect any kind of object and record the changes of its fields using reflection
OCaml-HavelHakimi
Functional implementation of the Havel-Hakimi algorithm in OCaml
OCaml-utils
Some basic OCaml utility functions I will keep updating while learning functional programming