Beast code in Giters

Julian Danner's repositories

OpenSeizureDetector_Tizen

OSD client for Smartwatches running on Tizen OS (e.g. Samsung Galaxy Watch Active 2)

Language:JavaScriptGPL-3.03 20

Epilarm

Movement-based detection of generalized tonic-clonic seizures using a Galaxy Watch Active 2.

Language:JavaScriptMIT2 10

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.

Language:Python1 10

Have-I-Seen

Retrieves information about concerts you have attended of a specific artist, based on your 'setlist.fm' user account.

Language:Python1 10

2xnf_sat_solving

Source code of paper 'SAT Solving Using XOR-OR-AND Normal Forms'

010

2xnf_solver

Graph-based DPLL-SAT Solver for propositional logic formulas in XOR-OR-AND normal form (XNF).

Language:C++010

Android_Pebble_SD

The main OpenSeizureDetector Android App, that is published on the Android Play Store.

Language:JavaGPL-3.0000

autoguess

An easy-to-use, general and open-source tool to search for guess-and-determine attacks and key bridges

Language:PythonMIT000

CoverCurator

CoverCurator helps you select album covers that complement each other. Integrating with Discogs, it makes curating your collection effortless and visually stunning.

MIT000

discogs_wantlist_watcher

Tool to check your Discogs wantlist for items on sale that match specified quality and price criteria.

Language:PythonMIT010

matrix-challenges

Challenging SAT benchmarks for matrix multiplication

Language:C000

Sage-Vim

Plugin for NeoVim delivering support for sage

Language:Vim Script010

satch

SAT Solver SATCH

Language:CMIT000