-
Updated
Nov 13, 2020 - Python
graphical-user-interface
GUI stands for graphical user interface. It is a visual representation of communication presented to the user for easy interaction with the machine. It allows users to manipulate elements on the screen using a mouse, a stylus or even a finger. The actions in a GUI are usually performed through direct manipulation of the graphical elements.
Here are 166 public repositories matching this topic...
-
Updated
Dec 15, 2020 - C
-
Updated
Dec 15, 2020 - Python
-
Updated
Nov 25, 2020 - C++
-
Updated
Feb 24, 2020 - C++
-
Updated
Nov 26, 2020 - Fortran
-
Updated
Dec 9, 2017 - C#
-
Updated
Oct 22, 2020 - Python
-
Updated
Mar 18, 2020 - C
-
Updated
Oct 9, 2020 - Python
-
Updated
Dec 8, 2020 - Python
-
Updated
Apr 23, 2018 - Python
-
Updated
May 6, 2020 - Java
-
Updated
Oct 21, 2020 - C#
-
Updated
Dec 7, 2020 - Java
-
Updated
Nov 12, 2019 - C++
-
Updated
Dec 13, 2020 - Python
-
Updated
Nov 27, 2020 - Python
-
Updated
Oct 13, 2020 - Java
-
Updated
Dec 13, 2020 - Visual Basic .NET
-
Updated
Sep 21, 2020 - Java
-
Updated
Dec 15, 2020 - C++
-
Updated
Oct 22, 2020 - VBA
-
Updated
Oct 13, 2020 - Python
We can get-model from Z3, which we can then use to generate error messages for the Z3 rule that include counter examples.
-
Updated
Aug 9, 2020 - C++
-
Updated
Sep 26, 2020 - C++
-
Updated
May 4, 2020 - Python
<start_paused>false</start_paused>. The world starts unpaused for a moment and then pause automaticallyEven the value is false.
This happens when running
ign gazebo empty.sdfor any world.But it don't happen when testing the gui plugin ign
gui -v 4 -c examples/config/time.config. so maybe the issue should be moved ign-gazebo repo