Native IDE for Linux. Because electron is not enough. [Mirror]
☆16Jun 21, 2020Updated 5 years ago
Alternatives and similar repositories for proton
Users that are interested in proton are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A tutorial for Gjs/GTK+ 3 development, based on https://github.com/sebp/PyGObject-Tutorial☆14Mar 2, 2020Updated 6 years ago
- Create, view and edit code snippets fetched from Github Gists.☆12Nov 8, 2020Updated 5 years ago
- Gtk REST Client☆12May 28, 2020Updated 5 years ago
- The reincarnation of the bodhi Game Engine in Vala☆10Oct 7, 2021Updated 4 years ago
- A simple Cairo Chart Library for GTK and Vala☆51Mar 25, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Radio program for GNU/Linux made in gtk3☆11Oct 25, 2020Updated 5 years ago
- A Sinatra inspired web framework for Vala☆40May 18, 2012Updated 13 years ago
- A simple GUI for the command line valac.☆10Oct 25, 2020Updated 5 years ago
- Source Code for 'Introducing Vala Programming' by Michael Lauer☆20Oct 29, 2019Updated 6 years ago
- Inspects the system GTK theme and builds browser-compatible CSS☆17Feb 19, 2022Updated 4 years ago
- An elementary OS app☆43Feb 28, 2023Updated 3 years ago
- Functional templating for Vala☆18Oct 27, 2017Updated 8 years ago
- [DEVELOPMENT MIGRATED] Explore and watch your favorite videos☆150Sep 8, 2024Updated last year
- A random name chooser for vala☆10Aug 30, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Find beautiful fonts and easy install on elementaryOS 🗛☆24Apr 1, 2021Updated 5 years ago
- Vala language support for Visual Studio Code☆32Oct 4, 2020Updated 5 years ago
- A simple Git commit message editor for Gnome.☆30Oct 29, 2020Updated 5 years ago
- A Gtk application to report missing icons to your theme repository☆19Dec 14, 2017Updated 8 years ago
- Frida depends on Vala☆11Feb 16, 2026Updated 2 months ago
- A curated list of Vala projects☆221Oct 3, 2025Updated 6 months ago
- Now your enum classes have String values!!☆12Apr 5, 2021Updated 5 years ago
- Read Hacker News from the desktop☆50Jun 23, 2025Updated 10 months ago
- GNOME++, a third-party icons theme, based on new GNOME 3.32's Adwaita☆174Mar 3, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Simple & versatile image editor.☆48Dec 13, 2023Updated 2 years ago
- A port of npm write-good to vala for Gtk.TextView and Gtk.SourceView☆11Feb 18, 2026Updated 2 months ago
- Ping lets you test your web API with some example data. A helpful tool that lets you debug what part of your API is causing you issues.☆24Dec 28, 2020Updated 5 years ago
- A minimal BASH framework☆15Feb 12, 2024Updated 2 years ago
- A spreadsheet app designed for elementary OS☆79Mar 22, 2026Updated last month
- A helper module for NodeGui which contains OS specific native features.☆10Dec 10, 2022Updated 3 years ago
- Mupen64plus frontend designed based on Elementary OS guidelines.☆10Sep 2, 2020Updated 5 years ago
- ☆13Apr 20, 2026Updated last week
- A password manager that forgets your passwords☆26Jan 8, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Simple GTK Translator☆12Jun 10, 2022Updated 3 years ago
- Client to test web endpoints☆82Jun 23, 2023Updated 2 years ago
- A Shutdown Manager based on GTK+ 3☆13Feb 17, 2022Updated 4 years ago
- A date countdown applet☆14Nov 8, 2020Updated 5 years ago
- Another useless project. Even more useless than my previous projects.☆10Oct 25, 2020Updated 5 years ago
- A simple metadata editor for PDFs for Linux and Windows☆68Apr 3, 2021Updated 5 years ago
- quick start elementary OS application☆10Jul 16, 2018Updated 7 years ago