Skip to content
#

exploration

Here are 217 public repositories matching this topic...

Pluto.jl
aplavin
aplavin commented Jul 15, 2021

Reproduce: add using Git_jll cell to the notebook, execute it. The package doesn't get added, and errors appear in the console:

┌ Warning: PlutoPkg: Failed to add/remove packages! Resetting package environment...
│   PLUTO_VERSION = v"0.15.1"
│   VERSION = v"1.6.1"
│   old_packages =
│    1-element Vector{String}:
│     "Git_jll"
│   new_packages =
│    1-element Vector{String}:
│ 

Open Semantic Visual Linked Data Graph Explorer: Open Source tool (web app) and user interace (UI) for discovery, exploration and visualization of direct and indirect connections between named entities like persons, organizations, locations & concepts from thesarus or ontologies within your documents and knowledgegraph

  • Updated Jan 16, 2020
  • HTML

This plugin completely moves the explored map and created pins to the server. As clients explore, they will send their explored areas to the server who will then distribute it to all connected clients. When a client joins, the server will synchronize the currently explored areas to the client. Pins are shared as well but default to false and need to be enabled. When pin sharing is used, all newly created pins are send to the server who saves them along with the explored area.

  • Updated May 26, 2021
  • C#

Improve this page

Add a description, image, and links to the exploration topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the exploration topic, visit your repo's landing page and select "manage topics."

Learn more