linux os android free download

Showing 5 open source projects for "linux os android"

View related business solutions

Scientific/Engineering Tcl Clear Filters & Widen Search

Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud

Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.

Get a free trial
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
1

Maxima -- GPL CAS based on DOE-MACSYMA

Computer Algebra System written in Common Lisp

...It features its own programming language, and many users have contributed useful packages in various areas over the decades. It is GPL-licensed and largely written in Common Lisp. Executables can be downloaded for Windows, Mac, Linux, and Android; source code is also available. An active community maintains and extends the system. Website: https://maxima.sourceforge.io Additional add-on packages for Maxima can be found at: https://github.com/maxima-project-on-github/maxima-packages

62 Reviews

Downloads: 3,495 This Week

Last Update: 16 hours ago
See Project
2

NUT Nutrition Software

nutrition software to record and analyze what you eat

nut is nutrition software to record what you eat and analyze your meals for nutrient composition. The emphasis is on personal dietary experimentation to determine the best possible diet. The software uses SQLite for a portable, os-independent application.

Downloads: 2 This Week

Last Update: 2019-10-22
See Project
3

gpsman

GPS Manager (GPSMan): a manager of GPS data

GPS Manager (GPSMan) is a graphical manager of GPS data that makes possible the preparation, inspection and edition of GPS data in a friendly environment. GPSMan can also be used in command mode (with no graphical interface)

2 Reviews

Downloads: 1 This Week

Last Update: 2014-03-04
See Project
4

Efficient Symbolic Tools

Efficient Symbolic Tools package (EST) is a BDD based tool for the formal verification of concurrent systems. Its advantages are flexibility, portability and an efficient memory management. It runs under different OS, including Linux and Windows 2000/XP.

Downloads: 0 This Week

Last Update: 2013-03-12
See Project
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
5

Dasher

*** This page is no longer used by the Dasher project - please see http://www.inference.phy.cam.ac.uk/dasher/ *** Dasher is a data entry interface incorporating language modelling and driven by continuous two-dimensional gestures, e.g. a mouse, a stylus

Downloads: 0 This Week

Last Update: 2018-01-22
See Project