Showing 735 open source projects for "java projects on linux"

View related business solutions
  • Build Data Resilience - Take the Assessment Today Icon
    Build Data Resilience - Take the Assessment Today

    Can you recover when it matters most? Take this quick assessment to identify gaps and build greater recovery confidence.

    Is your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
    Take the Assessment
  • Host LLMs in Production With On-Demand GPUs Icon
    Host LLMs in Production With On-Demand GPUs

    NVIDIA L4 GPUs. 5-second cold starts. Scale to zero when idle.

    Deploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
    Start Free
  • 1
    Molle is a cross-platform prover for modal logic, which exploits the modal semantic tableaux method. It features a very usable graphical interface, with interactive representation of generated models. Molle is maintained by Politecnico di Milano.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    PiET is a verification tool for ten behavioural equivalences for the Pi Calculus.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    John has between 2 and 5 apples. Mary gives him between 3 and 7 apples. How many apples does he have now? If you even understand this question, you understand interval arithmetic. This Java library implements interval arithmetic for all operators.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    A framework for utilising the Genetic Algorithm in the domain of Game Theory
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    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.
    Start Free
  • 5
    Linear Al is a research, design and teaching tool for quantum computing and quantum information. A quantum development environment.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    A program that makes Graphics and Tables of a formula for giving the aproximated value of a root.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Java-based standard calculator with GUI or command-line interface.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    McBilliards investigates periodic billiard paths in triangles.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    rebuses editor and solver
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 10
    An online judge system to judge the ACM-ICPC programming contests.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Parse a simple math formula and validates it. Has a very comprehensive Type checking and Var substitution.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Expression4J (Math Expression Parser) is a java framework used to manage mathematic expression stored in String object like "f(x,b)=2*x-cos(b)" or "g(x,y)=f(y,x)*-2". Expression gramar can be define by user (add new operator or type ...)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Sierpinski's triangle in various forms and languages.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    The K.U.Leuven JCHR System is an integration of Constraint Handling Rules (CHR) and Java designed with three aims in mind: user-friendliness, flexibility and efficiency. http://www.cs.kuleuven.be/~petervw/JCHR/
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Java Kohonen Neural Network Library Kohonen neural network library is a set of classes and functions for design, train and use Kohonen network (self organizing map).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    Prenzl!! is a desktop application and a screen saver running artistic cellular automata. The application is based on an Eclipse architecture and the rules can be in native. Our mission is to provide a viewer and an SDK for this kind of art, called CArt.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Project Graph contains the sources and releases of MIDlet Graph, which calculates mathematic expressions and draws function graphics on the screen of J2ME mobile device.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    XMLMath evaluates mathematical, logical or textual expressions described in xml and prints the result. For example, to compute the result of 1 + 1, you would write: <add> <long value="1"/> <long value="1"/> </add>
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Library for performing derivative on an input string. Given an expression in a string, you can mathematically derive it.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    This is a collection of Java Applications, Libraries and Apletts. Also some mathematial applications are contained.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    jGABL (the Java Graph Algorithm Base Library) is a java library for the implementation of graph algorithms. It covers a hierarchy of graph concepts, various graph implementations, and algorithm animation.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 23
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    This project provides a JAVA library and a graphical user interface which implement the "FastICA" algorithm based on the paper "Fast and Robust Fixed-Point Algorithms for Independent Component Analysis (ICA)" by Aapo Hyvärinen.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    ballotbox is a java library consist of 36 algorithms derived from 23 Social Choice Rules (Voting Methods). Uses jgrapht graph theory project and it is own Preference class to represent preferences. Includes preference similarity algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project