Search Results for "linux on windows"
Sort By:
Showing 8 open source projects for "linux on windows"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
1
A declarative logic programming system with first-class relations embedded in a pure functional subset of Scheme. The system has true unions, fair scheduling, lexically-scoped logical variables, set-theoretical semantics, high performance without cuts
-
2
This project is for maintaining a linux system that concentrates on math, logic, and geometry related softwares.
-
3
The Dolphin Project is intended to be a research project aggregating tools related to Open Source Satisfiability Solver tools and tools related to them like Bounded Model Checkers and Software Verifiers.
-
4
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
5
-
6
Algheme is a computer Algebra system written in the Scheme language. This project is actually aimed to symbolic computation using Groebner Bases and related topics; nevertheless, it can eventually evolve in a computational system for Mathematics in g
-
7
The purpose of the project is to develop a quantitative medical imaging & visualization program for use on brain MR, DTI and MRS data. It is a joint project of the Kennedy Krieger Institute & the Johns Hopkins University, Psychiatric Neuroimaging Lab
-
8
- Previous
- You're on page 1
- Next
