Showing 255 open source projects for "linux on windows"

View related business solutions
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 1
    PI-Based Image Encoder / Converter

    PI-Based Image Encoder / Converter

    Python code able to convert / compress image to PI (3.14, π) Indexes

    ...ZIP also include 16 MB file with 16,7 mil numbers of PI Benchmark(Single-Thread): Hardware & Environment Apple Silicon: Apple M2 (Mac mini/MacBook) x86_64 Platform: Intel Core Ultra 5 225F (Arrow Lake, 10 Cores) OS 1: Fedora 43 (GNOME) OS 2: Windows 11 Pro (23H2/24H2) Software: Python 3.14.3 + Numba JIT (latest) Results (Lower is better) Platform / OS CPU Time (Seconds) macOS (Native) Apple M2 52.151311 s (in default setup) Fedora Linux Intel Core Ultra 5 225F 58.536457 s (in default Power Management: Balanced) Windows 11 Intel Core Ultra 5 225F 59.681427 s (important! ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    factorizer

    factorizer

    Programa Para Factorizar/Simplificar Expresiones algebráicas.

    Un programa con interfaz simple, para factorizar/simplificar expresiones algebráicas. Nota 1: Se debe tener en cuenta la introducción de expresiones válidas en el contexto de operadores de python, dentro del programa se aclaran los tres operadores que podrían estar mal usados, y como deben escribirse. Nota 2: Se debe tener Python >= 3..11.6 instalado previamente, no se agrega python en el ejecutable de "Factorizer" justamente para que sea muy portable y preciso. Este programa usa...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    MaxFEM

    MaxFEM

    Software for electromagnetic simulation

    MaxFem is an open software package for electromagnetic simulation by using finite element methods. The package can solve problems in electrostatics, direct current, magnetostatics and eddy-currents. Since version 0.4.0, MaxFEM requires Python 3. We have moved the installers to the MaxFEM website (see below). In order to improve MaxFEM, we will require you to fill out a simple form before downloading them.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    book

    book

    A textbook on informal homotopy type theory

    The canonical Homotopy Type Theory informal textbook, initiated at the Institute for Advanced Study (2012–13) under the Univalent Foundations project. It presents the theory pedagogically without requiring technical proof assistant use.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Forever Free Full-Stack Observability | Grafana Cloud Icon
    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
  • 5
    MLPACK is a C++ machine learning library with emphasis on scalability, speed, and ease-of-use. Its aim is to make machine learning possible for novice users by means of a simple, consistent API, while simultaneously exploiting C++ language features to provide maximum performance and flexibility for expert users. * More info + downloads: https://mlpack.org * Git repo: https://github.com/mlpack/mlpack
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    pjscicalc

    pjscicalc

    A scientific calculator written in Python

    A scientific calculator written in Python, this project uses the wxPython and mpmath modules to create a scientific calculator suitable for use on a computer desktop. It is largely a rewrite and update of jscicalc. It has much higher precision.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 7

    Discursive Dilemma

    Optimal Decision Rules for the Discursive Dilemma

    Accompanying software for the paper "Optimal Decision Rules for the Discursive Dilemma", by A. Alabert, M. Farré and R. Montes (https://arxiv.org/abs/2210.13100). Computes a ranking of the best decision rules according to a quantitative criterion based on the minimisation of the combined probabilities of false positives and false negatives
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    SciDAVis is a user-friendly data analysis and visualization program primarily aimed at high-quality plotting of scientific data. It strives to combine an intuitive, easy-to-use graphical user interface with powerful features such as Python scriptability.
    Leader badge
    Downloads: 2,247 This Week
    Last Update:
    See Project
  • 9
    Gambit
    A library of tools for doing computation in game theory.
    Leader badge
    Downloads: 22 This Week
    Last Update:
    See Project
  • $300 in Free Credit Towards Top Cloud Services Icon
    $300 in Free Credit Towards Top Cloud Services

    Build VMs, containers, AI, databases, storage—all in one place.

    Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
    Get Started
  • 10

    MAGeCK

    Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout

    Model-based Analysis of Genome-wide CRISPR-Cas9 Knockout (MAGeCK) is a computational tool to identify important genes from the recent genome-scale CRISPR-Cas9 knockout screens technology. For instructions and documentations, please refer to the wiki page. MAGeCK is developed by Wei Li and Han Xu from Dr. Xiaole Shirley Liu's lab at Dana-Farber Cancer Institute/Harvard School of Public Health, and is maintained by Wei Li lab at Children's National Medical Center. We thank the support...
    Leader badge
    Downloads: 382 This Week
    Last Update:
    See Project
  • 11
    GCalculadora

    GCalculadora

    A CALCULADORA MAIS SIMPLES E PRÁTICA DA ATUALIDADE

    Downloads: 1 This Week
    Last Update:
    See Project
  • 12
    3d Linear Transformation Visualization

    3d Linear Transformation Visualization

    Visualize 3d linear transformations.

    A linear transformation is a function from one vector space to another that respects the linear structure of each vector space. For visualizing this we can transform a vector, but it has an obvious problem, because the linear transformation transform the whole space, not just the vector, in other words it transforms the basis vectors thus every vector in the space gets transformed too. That's why i created this app so everyone can see how a transformation matrix change the whole space.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Gato (Graph Animation Toolbox): Animate graph algorithms for example for computing shortest paths, minimal spanning trees, maximum flows or maximal cardinality or weight matchings. Create your own animations using the Animated Data Structures (ADS).
    Downloads: 1 This Week
    Last Update:
    See Project
  • 14
    Lenia

    Lenia

    Lenia - Mathematical Life Forms

    Lenia is a 2D cellular automaton with continuous space, time, and states. It produces a huge variety of interesting life forms. There are various versions available. Python, Matlab, and web (JavaScript) versions are real-time, interactive, and equipped with statistics tools. Jupyter and R versions are non-interactive and just for demonstration purposes.
    Downloads: 6 This Week
    Last Update:
    See Project
  • 15
    Python/FEniCS Examples

    Python/FEniCS Examples

    phase-field simulation and other examples with Python/FEniCS

    The main goal of this project was developing phase-field simulations of lithium dendrite growth with FEniCS programmed in Python. The problem was based in the grand potential-based model of Zijian Hong and Venkatasubramanian Viswanathan (https://doi.org/10.1021/acsenergylett.8b01009) . Some simpler examples were developed before for a first approach with FEniCS: heat equation and combustion model.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    The new version of MinimPy (MinimPy2) is available for download at: https://osdn.net/dl/minimpy2/MinimPy2.zip Please send your feedback about this new version to mahmood.saghaei@gmail.com (include MinimPy2 in the subject) ============================================================ MinimPy is a desktop application program for sequential allocation of subjects to treatment groups in clinical trials by using the method of minimization. Comprehensive reference help is available at...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 17
    Tux Math Scrabble

    Tux Math Scrabble

    12÷16×3=9÷4

    Latest version 0.9.1 runs on Python3. Date: June 15, 2023 Online/touch-screen version: https://www.asymptopia.com/tuxmathscrabble Encourages kids to construct compound equations and consider multiple abstract possibilities.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    APBS

    APBS

    Biomolecular electrostatics software

    This software has moved to http://www.poissonboltzmann.org/.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Hénon map browser

    Hénon map browser

    Program for exploring the Hénon attractor

    A Python program for exploring the Hénon attractor. For an explanation of what the Hénon attractor is please see Wikipedia (http://en.wikipedia.org/wiki/H%C3%A9non_map). With this program you can draw the Hénon attractor and interact with it in various ways. You can zoom in by selecting an area, vary the Henon parameters manually and even make animations with them. The functionality is demonstrated in a Youtube video. There is a help function included that explains in more detail how to use...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    CasADi
    A symbolic framework for C++, Python and Octave implementing automatic differentiation by source code transformation in forward and reverse modes on sparse matrix-valued computational graphs.
    Downloads: 12 This Week
    Last Update:
    See Project
  • 21
    Software for exploring & solving polyform puzzles, written in Python. Includes solvers for: pentominoes/polyominoes, solid pentominoes, Soma cubes, polycubes, polyiamonds, polyhexes, polysticks, and more to come.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    CutePy

    CutePy

    Lightweight Qt-based Python console with variable explorer and history

    CutePy is a lightweight Qt-based Python 3 console with variable explorer, command history, syntax highlighting and customizable startup script. Originally it was developed for simple scientific calculations as a replacement for e.g. Windows calculator or Python IDLE. Therefore its main aim is to start fast and provide more comfortable dealing with variables based on the Python language. However in the end it is a regular Python console and therefore can be used for almost any task.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    A Python interface to the GSL library. The wrapper covers nearly everything GSL provides.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 24
    Awesome Math

    Awesome Math

    This is the Curriculum for "How to Learn Mathematics Fast"

    This repository is a curated roadmap for learning the core mathematics used in computer science, machine learning, and data science without getting lost in unnecessary detours. It organizes topics like algebra, calculus, linear algebra, probability, and statistics into a pragmatic sequence that favors intuition and problem-solving over purely formal proofs. The materials emphasize short, high-leverage resources—video lectures, concise notes, and hands-on exercises—that help you build...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    zCharter
    Charting tools, backtesting tools, and data visualization tools for the most popular cryptocurrencies.
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB