https free download - SourceForge

Showing 4 open source projects for "https"

View related business solutions

Software Development Prolog Clear Filters & Widen Search

Earn up to 16% annual interest with Nexo.
Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.
Forever Free Full-Stack Observability | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built 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.

Create free account
1

XSB

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

1 Review

Downloads: 9 This Week

Last Update: 2026-04-10
See Project
2

s(ASP)

Implements the stable model semantics without grounding.

...Details of how s(ASP) works can be found in the following paper: Marple, Kyle, Elmer Salazar, and Gopal Gupta. "Computing Stable Models of Normal Logic Programs Without Grounding." arXiv preprint arXiv:1709.00501 (2017) (https://arxiv.org/abs/1709.00501).

Downloads: 0 This Week

Last Update: 2020-04-07
See Project
3

JIProlog

Java Internet Prolog (Moved to GitHub)

N.B. THE PROJECT HAS BEEN MOVED TO GITHUB https://github.com/jiprolog/ JIProlog is a cross-platform pure Java 100% Prolog interpreter that integrates Prolog and Java languages in a very fashinating way. JIProlog is compliant with the major Prolog interpreters. It supports most of ISO Prolog specifications and the most common and used built-in predicates, JIProlog allows to call Prolog predicates from Java without dealing with native code (JNI or JNA) and allows to invoke Java methods from Prolog in the same way you call predicates.

Downloads: 0 This Week

Last Update: 2015-04-18
See Project
4

GNU Prolog for Java

Am implementation of ISO Prolog standard as Java library. We have moved to savannah: https://savannah.gnu.org/projects/gnuprologjava/

Downloads: 0 This Week

Last Update: 2013-04-03
See Project
MongoDB Atlas runs apps anywhere
Deploy in 115+ regions with the modern database for every enterprise.

MongoDB 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.

Start Free