Search Results for "gnu prolog for mac"
Sort By:
Showing 56379 open source projects for "gnu prolog for mac"
View related business solutions-
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
1
GNU Prolog
The GNU Prolog native compiler
GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver. -
2
Proton VPN for iOS and macOS
Official ProtonVPN iOS and macOS app
The ProtonVPN iOS and macOS project contains the official code for the unified VPN client used on Apple platforms, delivering secure, encrypted network connections to Proton’s global servers directly from iPhones, iPads, and Macs. Written primarily in Swift with Apple platform conventions, this client lets users authenticate with their Proton accounts, select server locations, and manage advanced privacy features like automatic reconnection and DNS leak protection, tailored for Apple’s... -
3
Proton Drive for Mac
macOS client for end-to-end encrypted cloud storage
Proton Drive for macOS is Proton’s official macOS client repository for end-to-end encrypted cloud storage, designed to provide a desktop experience that integrates naturally with macOS while keeping sync logic transparent and inspectable. The project explicitly separates responsibilities into two major development targets: a menu bar app and a File Provider extension that handles file synchronization operations, reflecting Apple’s modern approach to cloud file integration on macOS. It is... -
4
TerminusDB
TerminusDB is a distributed database with a collaboration model
A distributed document-oriented graph database with powerful version control, enabling collaboration and efficient knowledge graph management. -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
GNU Emacs / N Λ N O
Emacs made simple
GNU Emacs / N Λ N O is a lightweight, minimalistic Emacs-inspired text editor configuration (or “distribution”) created by Nicolas P. Rougier that aims to provide a simpler and more streamlined experience compared to full-blown Emacs setups. It retains essential editing capabilities while stripping down much of the complexity and heavyweight features that can make traditional Emacs intimidating to newcomers. The project includes only minimal configuration and essential extensions, enabling... -
6
GNU Health
GNU Health - The Free/Libre Hospital and Health Information System
GNU Health is the award-winning Hospital and Health Information System (HIS), declared a Digital Public Good and adopted by the United Nations . GNU Health Hospital and Lab information system is used by academic and research institutions around the globe. It is also used in public health system of countries such as Argentina, India, Jamaica, Laos, Cameroon, Suriname. GNU Health is an official GNU project. GNU Health is brought to you by GNU Solidario, an Non-Profit Organization (NGO)... -
7
scrcpy
Display and control your Android device
scrcpy is an application for displaying and controlling your Android device through USB connection (or over TCP/IP). It is cross-platform (GNU/Linux, macOS and Windows) and does not require any root access. scrcpy displays only the device screen but offers great performance (30~60fps) and quality (1920×1080 or above). It’s got low latency (35~70ms) and a very low startup time (less than a second). It offers plenty of great features and is non-intrusive, with nothing left installed inside... -
8
Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI development environment.
-
9
Amnezia VPN
Amnezia VPN Client (Desktop+Mobile)
Amnezia is an open-source VPN client, with a key feature that enables you to deploy your own VPN server on your server. -
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
10
Candle
GRBL controller application with G-Code visualizer written in Qt
GRBL controller application with G-Code visualizer written in Qt. -
11
core.logic
A logic programming library for Clojure & ClojureScript
core.logic brings logic programming to Clojure and ClojureScript through an implementation of miniKanren, enabling relational, constraint-based, and nominal logic programming. It allows complex reasoning and declarative problem-solving directly in Clojure. core.unify provides a la carte unification facilities that are not deeply tied into the operation of a logic engine. While core.logic does provide a similar simple unifier interface with support for specifying fine-grained constraints, if... -
12
Sunshine
Self-hosted game stream host for Moonlight
Sunshine is an open-source self‑hosted cloud gaming server that implements NVIDIA’s GameStream protocol. Compatible with Moonlight clients across platforms, it supports low‑latency streaming via software or hardware encoding (AMD/Intel/NVIDIA) and offers a browser‑based control UI for pairing. -
13
GNU for VMS
GNV Provides a Framework for Porting Open Source Software to OpenVMS
The GNV Project implements a port of the GNU utilities to OpenVMS with the intent of providing a framework for porting open source software to OpenVMS. A complementary SourceForge Project is VMS-Ports (https://sourceforge.net/projects/vms-ports/), there are discussions of process and procedure there as well as regular conference calls with recordings to review progress and assess how to improve the environment. For the most up to date version of GNV please download the base GNV kit from... -
14
hiddify-app
Multi-platform auto-proxy client, supporting Sing-box, X-ray, TUIC
Hiddify is a comprehensive VPN and proxy client designed to facilitate secure internet access and bypass censorship. It supports advanced proxy protocols like V2Ray, Shadowsocks, and Trojan, offering configuration through QR codes, links, and subscription services. Hiddify aims to be user-friendly while also catering to power users with customizable options, making it a popular choice in regions with restricted internet access. -
15
Chroma
A general purpose syntax highlighter in pure Go
As Chroma has just been released, its API is still in flux. That said, the high-level interface should not change significantly. Chroma takes source code and other structured text and converts it into syntax-highlighted HTML, ANSI-coloured text, etc. Chroma is based heavily on Pygments and includes translators for Pygments lexers and styles. ABAP, ABNF, ActionScript, ActionScript 3, Ada, Angular2, ANTLR, ApacheConf, APL, AppleScript, Arduino, Awk. PacmanConf, Perl, PHP, PHTML, Pig,... -
16
mcpelauncher
The main repository for the Linux and Mac OS Bedrock edition Minecraft
A launcher that allows running Minecraft Bedrock Edition on Linux systems with various optimizations. -
17
-
18
QGIS
Cross platform (lin/win/mac) geographical information system (GIS)
Create, edit, visualize, analyze and publish geospatial information on Windows, Mac, Linux, BSD and mobile devices. For your desktop, server, in your web browser and as developer libraries. QGIS is a user-friendly open-source Geographic Information System (GIS) licensed under the GNU General Public License. QGIS is an official project of the Open Source Geospatial Foundation (OSGeo). It runs on Linux, Unix, Mac OSX, Windows and Android and supports numerous vector, raster, and database formats and functionalities. ... -
19
Roblox Account Manager
Application that allows you to add multiple accounts into one apps
Roblox Account Manager is a desktop application designed to simplify the management of multiple Roblox accounts within a single interface. The software allows users to store and organize multiple account credentials and quickly launch different accounts without manually logging out and back in through the Roblox client. This capability is particularly useful for players who manage alternate accounts for storage, trading, or gameplay purposes. The application provides a centralized dashboard... -
20
shadPS4
PS4 emulator for Windows,Linux,MacOS
shadPS4 is an early PlayStation 4 emulator for Windows, Linux, and macOS written in C++. If you encounter problems or have doubts, do not hesitate to look at the Quickstart. To verify that a game works, you can look at shadPS4 Game Compatibility. To discuss shadPS4 development or suggest ideas, join the Discord server. To get the latest news, go to our X (twitter) or our website. -
21
Notepad Next
A cross-platform, reimplementation of Notepad++
A cross-platform, reimplementation of Notepad++. Though the application overall is stable and usable, it should not be considered safe for critically important work. There are numerous bugs and half-working implementations. Pull requests are greatly appreciated. Windows packages are available as an installer or a stand-alone zip file on the release page. The installer provides additional components such as an auto-updater and Windows context menu integration. -
22
RustDesk
An open-source remote desktop, and alternative to TeamViewer
RustDesk is a full-featured open source remote control alternative for self-hosting and security with minimal configuration. Desktop versions use Flutter or Sciter (deprecated) for GUI, this tutorial is for Sciter only, since it is easier and more friendly to start. Check out our CI for building Flutter version. You have full control of your data, with no concerns about security. You can use our rendezvous/relay server, or self-hosting, or write your own rendezvous/relay server. -
23
Deep-Live-Cam
Real time face swap and one-click video deepfake
Real time face swap and one-click video deepfake with only a single image. Choose a face (image with the desired face) and the target image/video (image/video in which you want to replace the face) and click on Start. Open File Explorer and navigate to the directory you select your output to be in. You will find a directory named <video_title> where you can see the frames being swapped in real time. Once the processing is done, it will create the output file. -
24
Mindustry
An open-source sandbox tower defense game
Mindustry is a tower-defense sandbox factory game. Build supply chains of conveyor belts to fuel your turrets, produce materials for building, and defend your structures from waves of enemies. -
25
Sing-box
The universal proxy platform
Sing-box is a universal proxy platform written in Go with support for servers and clients across platforms. It handles multiple proxy protocols with advanced routing, supports TUN-based transparent proxying, and offers both CLI and native graphical clients.
