Skip to content
View j-danner's full-sized avatar
3 followers · 4 following
  • University of Passau
  • Passau

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Block or report j-danner

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. 2xnf_sat_solving 2xnf_sat_solving Public

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

    4

  2. 2-Xornado 2-Xornado Public

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

    C++ 3

  3. discogs_wantlist_watcher discogs_wantlist_watcher Public

    Check your Discogs wantlist for items on sale that match specified quality and price criteria.

    Python

  4. discogs_wantlist_notifier discogs_wantlist_notifier Public

    Home Assistant Custom Integration that offers a service to check your Discogs wantlist for offers on sale that meet specified quality and price criterions.

    Python 1

  5. Epilarm Epilarm Public archive

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

    JavaScript 2

  6. CoverMeUp CoverMeUp Public

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