Henrik Torland Klev's repositories
AutoInsurance
Student project for course IN5600 at UiO. Created for Android devices, using Java and XML.
better-sat-solver
A better sat-solver than my previous String-based sat-solver
Doctor-Diary
Diary for health workers implemented in React, based on the DHIS2-api.
inmeta-technical-exercise
Technical Review
Language:KotlinMIT000
Language:DartMIT000
Language:JavaScript000
Language:Kotlin000
sat-solver
Automatically checks whether a given propositional formula is satisfiable.
torland-klev
Config files for my GitHub profile.