There are no reviews yet. Be the first to send feedback to the community and the maintainers!
DpllSatSolver
Simple Java implementation of the Davis–Putnam–Logemann–Loveland (DPLL) algorithmHavelHakimiAlgorithm
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/TypexOS
Minimal OS Kernel in C and ASMMnistToImgFiles
Small python 3 tool to load the MNIST dataset from keras and save each entry to a *.png fileOCaml-dfa
Simple implementation of deterministic finite automata in OCamlcorona-tracking-backend
Backend of the Corona Tracking App, developed in the context of the #WirVsVirus Hackathon by the german government. See https://wirvsvirushackathon.org/Love Open Source and this site? Check out how you can help us