J4K0B/Merlin
SyGuS solver implementing "Oriented Metrics for Bottom-Up Enumerative Synthesis"
Repositories
J4K0B/babbel2anki-chrome-extension
Chrome Extension which imports and syncs Babbel vocabulary to Anki. Supports auto-syncing, customising deck and card template for syncing.