Search Results for "javascript open source" - Page 6
Sort By:
Showing 708 open source projects for "javascript open source"
View related business solutions-
Build AI Apps with Gemini 3 on Vertex AIVertex AI gives developers access to Gemini 3—Google’s most advanced reasoning and coding model—plus 200+ foundation models including Claude, Llama, and Gemma. Build generative AI apps with Vertex AI Studio, customize with fine-tuning, and deploy to production with enterprise-grade MLOps. New customers get $300 in free credits.
-
Run Any Workload on Compute Engine VMsCompute Engine delivers high-performance virtual machines for web apps, databases, containers, and AI workloads. Choose from general-purpose, compute-optimized, or GPU/TPU-accelerated machine types—or build custom VMs to match your exact specs. With live migration and automatic failover, your workloads stay online. New customers get $300 in free credits.
-
1
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
JBernstein is a tool implemented in Java that enables to check whether a polynomial constraint holds for all variables within their domain. It is mainly used in the verification or synthesis of cyber-physical systems where the system model is nonlinear. The tool also supports specifications in assume-guarantee style. The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance,... -
2
HLM is a proof assistant for everyday mathematics, which is currently being developed. It aims for a user experience as close as possible to regular mathematical practice, and proofs which are understandable by humans with little extra effort.
-
3
JCycles
[frozen] A library for computing cycles in graphs or in Java code.
[This project is frozen, but has an offspring with more features: https://github.com/jeffhain/jadecy ] JCycles provides treatments to compute cycles, or just strongly connected components, in directed graphs in general, or in classes or packages dependencies graphs parsed from class files (major version <= 51, else does best effort). It uses Tarjan's algorithm for SCCs, and Johnson's for cycles, with continuations instead of recursion, which allows to handle large graphs (<... -
4
Computing with units
Calculator that takes care of measurement units.
Java program for computations with values expressed in terms of physical or other units. Supports complicated mathematical expressions and user-defined functions. Invoked from scripts, line command, or as GUI. Extensive units data base. -
$300 in Free Credit for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credit—no hidden charges. Test, build, and deploy without risk. Use your credit across the Google Cloud platform to find what works best for your needs. After your credits are used, continue building with free monthly usage products. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
expressionCalc
Cross platform Mathematical expression solver
expressionCalc is a Mathematical expression solver. It has a Java implementation (for cross platform) and a C# implementation (for Windows). Support most of the Mathematical functions including log, sin, a sin etc. Implemented based on the expression solving technique of BODMAS. -
6
ExpressionOasis is a java based framework for evaluating the various type of expressions like arithmatic, logic expression etc. The framework is flexible enough to define any new grammer rules or operators.
-
7
A math application written in Java. Its features include 2D and 3D graph plotting, scripting, user-defined variables and functions and skinnable GUI. This project is not maintained at the moment.
-
8
Statcato is a Java software application for elementary statistics. Its features include data and graph generation, probability distributions, descriptive statistics, confidence intervals, hypothesis tests, correlation, regression, and analysis of var
-
9
DSOL
DSOL: A Distributed Simulation Object Library implemented in Java
DSOL is a full featured multi-formalism, distributed simulation environment developed at Delft University of Technology (The Netherlands). DSOL has support for discrete event and for continuous modeling. Formalisms supported are event scheduling, DEVS, flow-based simulation, and continuous modeling through sets of differential equations. The first release was introduced at IEEE's Winter Simulation Conference in 2002. Since then, numerous papers and PhD dissertations have been developed, with... -
99.99% Uptime for MySQL and PostgreSQL on Google CloudCloud SQL Enterprise Plus gives you a 99.99% availability SLA with near-zero downtime maintenance—typically under 10 seconds. Get 2x better read/write performance, intelligent data caching, and 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server with built-in vector search for gen AI apps. New customers get $300 in free credit.
-
10
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
11
JSci - A science API for Java
A science API for Java
JSci is a set of open source Java packages. The aim is to encapsulate scientific methods/principles in the most natural way possible. As such they should greatly aid the development of scientific based software. -
12
Interdependent Java frameworks: AMath (abstract numbers support); AFuzzy (fuzzy numbers and methods); AMathSys (flexible solvers of linear and nonlinear algebraic and differential equations); ADSM (multi-criteria ranking and grading of alternatives).
-
13
LQFB-analyser
A lqfb delegation analyser. A 3d directed weighted multi graph.
A rich client to analyse data from a liquid-feedback (http://liquidfeedback.org/) instance, for now it's a 3d graph explorer to inspect the delegations. It's an application based on the eclipse platform (indigo). To be precise its a directed weighted multi graph browser in 3d. Find out more in the wiki https://sourceforge.net/p/lqfbanalyser/wiki/Home/ . Generated reports https://sourceforge.net/p/lqfbanalyser/wiki/generated%20lqfb%20reports/ . -
14
KochCurve
This small library implements a data structure for Koch curves.
This small library implements the Koch curve, snowflake and anti-snowflake like a Shape to be used like any other Java shape. You can test the library by compiling the test applet in Files. -
15
HYDRA is an open-source, platform-neutral library for performing Markov Chain Monte Carlo. It implements the logic of standard MCMC samplers within a framework designed to be easy to use and to extend while allowing integration with other software to
-
16
The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
-
17
-
18
Calcoo is a scientific calculator (with both RPN and algebraic modes) designed to provide maximum usability.
-
19
-
20
Parallel HRRT Deconvolution is a multithreaded ImageJ plugin for motion correction of PET brain images.
-
21
LExAu: Learning Expectations Autonomously. Library for on-line data driven statistical machine learning.
-
22
Parallel Super-Resolution is a multithreaded ImageJ plugin for super-resolution. Super-resolution is an image fusion and reconstruction problem, where an improved resolution image is obtained from several geometrically warped, low resolution images.
-
23
Javafastcomplex
Javafastcomplex has both mutable and immutable complex numbers
Javafastcomplex is a fast complex number package for Java. Most existing complex number packages implement only immutable complex numbers, which is easy to understand given that immutable objects lead to more understandable code. Mutable complex numbers would avoid garbage-collection penalty and therefore be faster in calculations. Javafastcomplex implements both mutable and immutable complex numbers, and has a common interface for both, allowing users to write functions that can take either... -
24
-
25
Snifflib Numerical Library
Open-source computational library written in pure JAVA
The Snifflib numerical library provides honest-to-goodness N-dimensional array construction and manipulation along with standard linear algebra functionality as well as statistics and computational routines in the JAVA language.
