The Wayback Machine - https://web.archive.org/web/20220430043216/https://github.com/topics/exploration
Skip to content
#

exploration

Here are 251 public repositories matching this topic...

Pluto.jl
BioTurboNick
BioTurboNick commented Apr 19, 2022

I believe the error itself is unrelated to Pluto, but it's causing the notebook to hang (working animations running). Pluto v0.19.0, Julia 1.8.0-beta3

It seems to be happening when I try to add using Profile. The only way to get out of it is to edit the notebook manually to remove that line, then restart the notebook.

      From worker 17:   ERROR: LoadError: ccall method definition: 
good first issue package manager

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
jorgenherje
jorgenherje commented Jan 3, 2022

Remove markers from the realization traces for the new simulation time series plugin.

The current creation of vector realization traces adds "marker": {"color": color} to the trace, in create_vector_realization_traces()-method in webviz_subsurface/plugins/_simulation_time_series/utils/create_vector_traces_utils.py


Issue

Markers are added to realization traces for the simulat

enhancement 🚀 good first issue

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 Oct 16, 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