Henrik Torland Klev's repositories
Language:Kotlin000
Language:KotlinMIT000
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
Language:Kotlin000
Doctor-Diary
Diary for health workers implemented in React, based on the DHIS2-api.
Language:Scheme000
inmeta-technical-exercise
Technical Review
TimeLife
Stand-alone tool for controlling the time you spend on your life. Create a timer for work, school, cooking, running, etc. for providing excellent documentation on how you spend your hours.
Language:JavaMIT000
Language:Kotlin000
Language:JavaScript000
sat-solver
Automatically checks whether a given propositional formula is satisfiable.
Language:JavaScriptMIT000
torland-klev
Config files for my GitHub profile.