This gist implements a self-contained search engine for the VisualGenome scene corpus. The user interface is built from ipywidgets and presented with Voilà. The corpus is downloaded in the postBuild script so that fresh Binder sessions don't need to wait for this each time. Ideally even more pre-processing would be done here so that the interface gets to a responsive state faster.
Adam M. Smith rndmcnlly
rndmcnlly
/ Distribution.ipynb
Created
June 6, 2017 21:40
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
rndmcnlly
/ Universal Quantification Demo.ipynb
Last active
May 26, 2017 23:30
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
rndmcnlly
/ Proofdoku Saturation.ipynb
Created
May 9, 2017 21:22
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
rndmcnlly
/ Grid Embedding.ipynb
Created
May 7, 2017 21:24
Recreating the grid embedding tool from https://adamsmith.as/papers/fdg2012generation.pdf with Clingo-5
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
rndmcnlly
/ Platformer Visualization.ipynb
Created
May 2, 2017 06:09
Developing a simple PIL-based visualizer for platform level designs, starting from a JSON scene description file
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
rndmcnlly
/ Sorting.ipynb
Last active
April 26, 2017 22:11
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
rndmcnlly
/ Integer Programming.ipynb
Created
April 25, 2017 18:10
An example of modeling and solving integer linear constraints in ASP using a few different approaches
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
rndmcnlly
/ Collect.ipynb
Last active
April 19, 2017 21:26
Demo of using %%capture magic to collect output of a cell into a Python variable
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
rndmcnlly
/ Equivalence.ipynb
Created
April 19, 2017 01:09
Check if two combinatorial circuits defined in Verilog are behaviorally equivalent (synthesis to a sea of gates using Yosys and search using Potassco)
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.