A web-based graphical proof assistant for LK and Hoare logic.
-
Updated
Nov 15, 2022 - JavaScript
#
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 16 public repositories matching this topic...
7 demo GUI applications created with Sciter.JS
-
Updated
Mar 15, 2021 - JavaScript
Graphical Tic tac toe game using minimax algorithm.
-
Updated
Jul 7, 2024 - JavaScript
A GUI for NoSQL-DB management (LevelDB/CouchDB) that shows up in Browser
-
Updated
Dec 12, 2022 - JavaScript
Graphical user interface for Helmet 4 model system
nodejs reactjs electron-app subprocess graphical-user-interface traffic-assignment helmet-4-0 helmet-4-1
-
Updated
Oct 15, 2024 - JavaScript
The official website of Console Art Cybernetic organization.
front-end web-development web-app graphical-interface web-application web-dev graphical-user-interface front-end-development home-page front-end-dev ca-cybernetic console-art-cybernetic
-
Updated
Oct 16, 2023 - JavaScript
Mario Kart DS ARM9 Music Slots Table editor
python editor gui modding python3 graphical-user-interface ds modding-tools mariokart musicid tkinter-gui arm9 mkds mariokartds musicslots tableeditor
-
Updated
Apr 25, 2024 - JavaScript
AIVIS is an online application that allows anyone to create their neural network, with or without programming experience.
machine-learning ai deep-learning neural-network graphical-user-interface multilayer-perceptron-network
-
Updated
Mar 31, 2021 - JavaScript
This project is meant to make your calculations with matrices and the "Gauß Algorithmus" much easier. This is archived through a graphical interface and a history feature.
-
Updated
Nov 14, 2022 - JavaScript
Open source Javascript Visual Novel made with inkle.
-
Updated
Jun 9, 2024 - JavaScript
Rendering a Mesh that models blob like physics
javascript velocity collision-detection mesh physics-simulation fluid-simulation graphical-user-interface damping
-
Updated
Sep 17, 2019 - JavaScript
A movie database application with HTML, CSS and Javascript as the frontend, and Java, more specifically JAVAFX on the backend and a postgresql database
java application database frontend cross-platform backend javafx postgresql admin-dashboard database-management database-gui html-css-javascript graphical-user-interface database-management-system
-
Updated
May 6, 2023 - JavaScript
A class of challenge-response authentication systems resilient to direct observation.
-
Updated
Oct 19, 2018 - JavaScript
MS Paint-esque Drawing-to-PNG app
-
Updated
Feb 9, 2024 - JavaScript
GUI to upload a GeoJSON and style a Leaflet Choropleth Map. Export Map as Image, stand-alone HTML or as Styled Layer Description (SLD)
bootstrap gui django geojson leaflet full-stack sld choropleth graphical-user-interface colorbrewer geostyler sld-parser classybrewer classybrew2geostyler
-
Updated
Jan 30, 2019 - JavaScript