Headless Ubuntu/Xfce containers with VNC/noVNC (G1v2)
☆114Jan 11, 2023Updated 3 years ago
Alternatives and similar repositories for ubuntu-vnc-xfce
Users that are interested in ubuntu-vnc-xfce are comparing it to the libraries listed below
Sorting:
- Retired and merged into 'accetto/ubuntu-vnc-xfce' (Generation 1).☆24Nov 27, 2022Updated 3 years ago
- Headless Ubuntu/Xfce containers with VNC/noVNC (G3v8).☆305Aug 12, 2025Updated 6 months ago
- Openbox on Ubuntu with x11vnc & NoVNC☆16May 23, 2017Updated 8 years ago
- Collection of Docker images with headless VNC environments☆2,017Updated this week
- Docker/Singularity image for Ubuntu with X11 and VNC☆141Jul 2, 2024Updated last year
- Unified Maude model-checking tool☆13Feb 4, 2026Updated last month
- ☆10Jun 26, 2024Updated last year
- Alpine Linux libvirt (qemu+kvm) docker image☆14May 28, 2021Updated 4 years ago
- Headless Ubuntu/Xfce containers with VNC/noVNC and various applications (G2v2)☆48Jan 9, 2023Updated 3 years ago
- Ubuntu running on xhyve hypervisor☆16Jul 15, 2015Updated 10 years ago
- A Docker image to provide web VNC interface to access Ubuntu LXDE/LxQT desktop environment.☆4,209Sep 3, 2023Updated 2 years ago
- Intrepyd Model Checker☆18Nov 5, 2021Updated 4 years ago
- Equilibrium Verification Environment (EVE) is a formal verification tool for the automated analysis of temporal equilibrium properties of…☆21Aug 19, 2024Updated last year
- ☆26Jul 9, 2024Updated last year
- A design automation framework to engineer decision diagrams yourself☆25Mar 2, 2026Updated last week
- VNC Tweaked for Nethunter (prepackaged apk)☆11Apr 24, 2017Updated 8 years ago
- Remove Hotack Silent SDK Proxy Malware☆26Nov 24, 2025Updated 3 months ago
- 自用原神AHK辅助，开机自启动☆10Oct 11, 2023Updated 2 years ago
- This is a Login application for Android using Parse server.☆10Nov 26, 2018Updated 7 years ago
- Alpine docker image with Xfce4, x11vnc and noVNC☆37Nov 29, 2022Updated 3 years ago
- API2Vec: Learning Representations of API Sequences for Malware Detection☆14Mar 10, 2024Updated 2 years ago
- restart adbd with root privileges☆11Oct 21, 2015Updated 10 years ago
- David is a very funny man☆10Feb 19, 2021Updated 5 years ago
- A longitudinal dataset for academic literature, including papers, metadata, and citation graphs, Also available on 🤗 HuggingFace and Kag…☆16Sep 6, 2025Updated 6 months ago
- A simple tool to demonstrate the physical design steps of VLSI Design Flow.☆10Dec 13, 2020Updated 5 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- An on-chain Turing machine library and interpreter for the NEO VM, i.e. the first universal dApp.☆13Aug 31, 2018Updated 7 years ago
- OpenTitan FI formal verification framework☆16Aug 29, 2023Updated 2 years ago
- CGNAT em dispositivos baseados em RouterOS☆12May 14, 2019Updated 6 years ago
- A copy of the latest version of MVSIS☆12Apr 18, 2021Updated 4 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 8 years ago
- aplicacion de canales xxx por iptv android☆14Apr 13, 2021Updated 4 years ago
- ☆10Oct 16, 2019Updated 6 years ago
- Basic lightweight tacacs+ container for testing Cisco devices☆12Jan 19, 2021Updated 5 years ago
- A CTF leet flag generator☆39Feb 4, 2021Updated 5 years ago
- 基于Jsoup实现的淘宝爬虫项目☆11Jun 7, 2021Updated 4 years ago
- Lowes price checker script for use with tamper monkey. I'm not the author. Don't ask me to make changes, the original author is liste…☆10Dec 16, 2016Updated 9 years ago
- Analyze experimental data with Programming by Navigation☆17Updated this week
- Research papers on ML for security☆35Jul 23, 2020Updated 5 years ago