Home

Suggestions

Feel free to put ideas/suggestions/feature requests here before creating issues:

Import

• Auto-import my GitHub projects

Query flexibility

We can't do interesting queries like this in pure datalog:

;; Top 3 committers
(->> (d/q '[:find ?email (count ?commit)
          :where
          [?commit :commit/author ?author]
          [?author :email/address ?email]]
        db)
     (sort-by second)
     reverse
     (take 3))

Maybe we should use clojail at some point to allow better query support?

Query Form

• Syntax highlighting
• Parameterization fields
• Auto-complete attribute names

Results Display

• Labeled fields done!
• Tabular view done?
• Sorting - maybe this can be done in the webapp, and be part of the query param?
• Show code for codeq results
• Clickable navigation
• Go to definition
• Find references
• Etc

Export

Formats

• Clojure Forms
• CSV

Codeq enhancements

• :code/name is fully qualified. Would be nice to have :code/qualifier and :code/unqualified indexed too.
• Identity: Some people have more than one email address