Pinned Repositories
2-Xornado
Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).
2xnf_sat_solving
Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'
Android_Pebble_SD
The main OpenSeizureDetector Android App, that is published on the Android Play Store.
autoguess
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
CoverMeUp
CoverMeUp helps you select album covers that complement each other. Integrating with Discogs, it makes displaying your vinyl collection effortless and visually stunning.
discogs_wantlist_notifier
Home Assistant Custom Integration that offers a service to check your Discogs wantlist for offers on sale that meet specified quality and price criterions.
discogs_wantlist_watcher
Tool to check your Discogs wantlist for items on sale that match specified quality and price criteria.
Epilarm
Movement-based detection of generalized tonic-clonic seizures using a Galaxy Watch Active 2.
Have-I-Seen
Retrieves information about concerts you have attended of a specific artist, based on your 'setlist.fm' user account.
OpenSeizureDetector_Tizen
OSD client for Smartwatches running on Tizen OS (e.g. Samsung Galaxy Watch Active 2)
j-danner's Repositories
j-danner/2xnf_sat_solving
Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'
j-danner/2-Xornado
Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).
j-danner/OpenSeizureDetector_Tizen
OSD client for Smartwatches running on Tizen OS (e.g. Samsung Galaxy Watch Active 2)
j-danner/Epilarm
Movement-based detection of generalized tonic-clonic seizures using a Galaxy Watch Active 2.
j-danner/discogs_wantlist_notifier
Home Assistant Custom Integration that offers a service to check your Discogs wantlist for offers on sale that meet specified quality and price criterions.
j-danner/Have-I-Seen
Retrieves information about concerts you have attended of a specific artist, based on your 'setlist.fm' user account.
j-danner/Android_Pebble_SD
The main OpenSeizureDetector Android App, that is published on the Android Play Store.
j-danner/autoguess
An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges
j-danner/CoverMeUp
CoverMeUp helps you select album covers that complement each other. Integrating with Discogs, it makes displaying your vinyl collection effortless and visually stunning.
j-danner/discogs_wantlist_watcher
Tool to check your Discogs wantlist for items on sale that match specified quality and price criteria.
j-danner/matrix-challenges
Challenging SAT benchmarks for matrix multiplication
j-danner/Sage-Vim
Plugin for NeoVim delivering support for sage
j-danner/satch
SAT Solver SATCH