Search Results for "gnu prolog for mac"
Sort By:
Showing 56336 open source projects for "gnu prolog for mac"
View related business solutions-
Deliver and Track Online and Live Training Fast and Easy with Axis LMS!Axis LMS enables you to deliver learning and training everywhere through a flexible and easy-to-use LMS that is designed to enhance your training, automate your workflows, and engage your learners.
-
Bitdefender Ultimate Small Business SecurityGet exceptional protection against all digital threats for your business and employees.
-
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. -
MicroStation by Bentley Systems is the trusted computer-aided design (CAD) software built specifically for infrastructure design.MicroStation is the only computer-aided design software for infrastructure design, helping architects and engineers like you bring their vision to life, present their designs to their clients, and deliver their projects to the community.
-
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
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.
-
8
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... -
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. -
Rev Your Digital Product Delivery EnginePlanview links your technology vision directly to teams' daily work, providing complete visibility and control over your digital product delivery ecosystem.
-
10
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... -
11
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,... -
12
Candle
GRBL controller application with G-Code visualizer written in Qt
GRBL controller application with G-Code visualizer written in Qt. -
13
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... -
14
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. -
15
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. -
16
MiroFish
A Simple and Universal Swarm Intelligence Engine
MiroFish is a next-generation artificial intelligence prediction engine that leverages multi-agent technology and swarm-intelligence simulation to model, simulate, and forecast complex real-world scenarios. The system extracts “seed” information from sources such as breaking news, policy documents, and market signals to construct a high-fidelity digital parallel world populated by thousands of virtual agents with independent memory and behavior rules. Users can inject variables or conditions... -
17
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. -
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
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. -
20
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... -
21
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. -
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
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. -
24
PDF Arranger
Small python-gtk application, to merge or split PDFs
PDF Arranger is a small python-gtk application, which helps the user to merge or split PDF documents and rotate, crop and rearrange their pages using an interactive and intuitive graphical interface. It is a front end for pikepdf. PDF Arranger is a fork of Konstantinos Poulios’s PDF Shuffler (see Savannah or Sourceforge). It’s a humble attempt to make the project a bit more active. -
25
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.
