gnu linux free download

Showing 9 open source projects for "gnu linux"

View related business solutions

Compilers Prolog Clear Filters & Widen Search

Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.

Try Free
Build Securely on Azure with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now
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.

Downloads: 101 This Week

Last Update: 2026-03-31
See Project
2

pltc

Prolog to C compiler with runtime for DOS, Windows and Raspbian

Prolog to C compiler with runtime for DOS (with Turbo C), Windows 10 64 bits and Raspbian (Raspberry Pi)

Downloads: 0 This Week

Last Update: 2020-05-28
See Project
3

Regulus

Regulus is a Prolog-based toolkit for building spoken dialogue systems.

Downloads: 2 This Week

Last Update: 2020-05-20
See Project
4

Galliwasp

Goal-directed answer-set programming

Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.

Downloads: 0 This Week

Last Update: 2014-04-24
See Project
Our Free Plans just got better! | Auth0
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.

Try free now
5

Java Prolog Interoperability Engine

JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.

Downloads: 0 This Week

Last Update: 2014-02-20
See Project
6

SecFlow

SecFlow - Secure Flow Analyzation for Java and .NET

Downloads: 0 This Week

Last Update: 2013-04-23
See Project
7

Network Agents

A group of systems for building network-oriented intelligent agents, consisting an agent communications infrastructure, April - an agent construction programming language, Go! - a logic programming language and DialoX - an XML-based user interface engine

Downloads: 0 This Week

Last Update: 2013-09-06
See Project
8

Mercury

Mercury is a modern logic/functional programming language. The Mercury system includes a compiler, debugger, libraries, sample code, profilers, etc. Mercury is designed to be the successor of logic programming languages such as Prolog.

Downloads: 1 This Week

Last Update: 2013-03-13
See Project
9

MatForce

MatForce is a compiler that translates MatLab scripts into self-contained C++ code, producing human-readable, extensible C++ sources that can be fitted to the needs of the encapsulating application.

Downloads: 0 This Week

Last Update: 2013-03-22
See Project
Full-stack observability with actually useful AI | 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