Search Results for "gnu prolog for mac"
Sort By:
Showing 56528 open source projects for "gnu prolog for mac"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
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. -
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
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 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... -
7
Clash Verge Rev
A modern GUI client based on Tauri
Clash Verge Rev is an open-source desktop application that provides a modern graphical interface for managing network proxy configurations and routing internet traffic through rule-based tunneling systems. Built using the Tauri framework and Rust, it delivers a lightweight yet high-performance experience across Windows, macOS, and Linux platforms. The application is based on the Mihomo (formerly Clash Meta) core, which enables advanced proxy routing capabilities, allowing users to define... -
8
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)... -
9
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... -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
VCMI Project
Open-source engine for Heroes of Might and Magic III
VCMI is work-in-progress attempt to recreate engine for Heroes III, giving it new and extended possibilities. To use VCMI you need to own original data files. -
11
v2rayN
A V2Ray GUI client for Windows, Linux and macOS
A V2Ray client for Windows, Linux and macOS, supports Xray core and v2fly core. If you are new to this, please download v2rayN-Core.zip from releases. Otherwise please download v2rayN.zip (you will also need to download v2ray core into the same folder with v2rayN.exe) Run v2rayN.exe. -
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
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
Candle
GRBL controller application with G-Code visualizer written in Qt
GRBL controller application with G-Code visualizer written in Qt. -
15
Citra Emulator
A Nintendo 3DS Emulator
Citra is an experimental open-source Nintendo 3DS emulator/debugger written in C++. It is written with portability in mind, with builds actively maintained for Windows, Linux and macOS. Citra emulates a subset of 3DS hardware and therefore is useful for running/debugging homebrew applications, and it is also able to run many commercial games! Some of these do not run at a playable state, but we are working every day to advance the project forward. (Playable here means compatibility of at... -
16
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. -
17
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. -
18
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. -
19
Whisky
A modern Wine wrapper for macOS built with SwiftUI
Experience the latest titles effortlessly with Whisky. Whisky provides a clean and easy to use graphical wrapper for Wine built in native SwiftUI. You can make and manage bottles, install and run Windows apps and games, and unlock the full potential of your Mac with no technical knowledge required. Whisky is built on top of CrossOver 22.1.1, and Apple's own Game Porting Toolkit. -
20
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. -
21
ii's Stupid Menu
A mod menu for Gorilla Tag with over 1000+ mods
ii’s Stupid Menu is an open-source mod menu for the VR game Gorilla Tag that provides a wide range of gameplay modifications and utilities through an in-game interface. It is designed to give players and developers access to a large collection of mods that can alter movement, interaction, and game mechanics. The menu includes hundreds of features, ranging from cosmetic changes to more advanced gameplay modifications, making it one of the more extensive modding tools available for the game.... -
22
-
23
Universal Pokemon Randomizer ZX
Public repository of source code for the Universal Pokemon Randomizer
Universal Pokemon Randomizer ZX is an open-source tool that allows players to modify and randomize various aspects of Pokémon games across multiple generations, creating unique and unpredictable gameplay experiences. It supports a wide range of ROMs and provides a user-friendly interface for customizing game elements such as Pokémon encounters, abilities, stats, movesets, and item distributions. The tool is designed to maintain game stability while introducing variability, ensuring that... -
24
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,... -
25
Amnezia VPN
Amnezia VPN Client (Desktop+Mobile)
Amnezia VPN is an open-source VPN client that enables users to easily deploy and manage their own self-hosted VPN server. Designed for both desktop and mobile platforms, it simplifies VPN setup by automatically installing and configuring VPN services on a user's server through a guided interface. The platform supports multiple VPN protocols, including OpenVPN, WireGuard, IKEv2, and its proprietary AmneziaWG protocol. Amnezia VPN also provides advanced traffic obfuscation technologies to help...