Search Results for "computer aided software engineering"
Sort By:
Showing 36 open source projects for "computer aided software engineering"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
2
LTI-Lib is an object oriented computer vision library written in C++ for Windows/MS-VC++ and Linux/gcc. It provides lots of functionality to solve mathematical problems, many image processing algorithms, some classification tools and much more...
-
3
The Virtual Math Teams (VMT) Project (vmt.mathforum.org) at the Math Forum enables K-12 math collaborative learning, professional development of educators, & group cognition research. VMT is now integrated with GeoGebra (http://www.geogebra.org/).
-
4
yacas
Computer calculations made easy
NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system. It uses its own programming language designed for symbolic as well as... -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
JMCAD is an program for the modeling and simulation of complex dynamic systems. This includes the ability to construct and simulate block diagrams. The visual block diagram interface offers a simple method for constructing, modifying and maintaining complex system models. The simulation engine provides fast and accurate solutions for linear, nonlinear, continuous time, discrete time, time varying and hybrid system designs. With JMCAD, users can quickly develop software or "virtual"...
-
6
Immutable Sparse Wave Trees (WaveTree)
Realtime bigdata tool for bit strings up to 2^63 based on AVL forest
Realtime bigdata tool at the bit level based on immutable AVL forest which can be run in memory or, in future versions, as a merkle forest like a blockchain. Main object is a sparse bit string (Bits) that efficiently scales up to 2^63 bits normally compressed as forest has duplicated substrings. Bits objects support reading bit, byte, short, int, or long (Java primitives) at any bit index in 64 bit range. Example: instead of building a class to hold a header and then data, represent all of... -
7
GBDave's Pipe Size Calculator
HVAC Minimum Pipe Size Calculator
Starting off as a simple LISP command in AutoCAD this HAVC pipe size calculator was migrated to a standalone Java application. Calculates HVAC minimum pipe ID based on GPM and FPS for numerous fluid types (found in the fluid density chart on EngineeringToolbox.com) Includes a table to automatically calculate riser piping sizes per floor. Read the README.txt file included in PipeSize.zip for instructions. -
8
The Penn Lambda Calculator is an interactive, graphics-based pedagogical software that helps students of linguistics and computer science practice the typed lambda calculus.
-
9
Myrtle
A simple programmable spreadsheet for learning statistics.
Myrtle is a simple programmable spreadsheet and statistical analysis software specifically designed for learning statistics. It provides the standard spreadsheet functionality one would expect like multiple tabbed sheets, relative and absolute row and column referencing in formulas, and a large catalog of built-in functions. Functions specific to logic and computer science, mathematics, probability, and statistics are available. Student's can easily create, customize, and update plots and... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
The metric project supplies, via the web, educational materials in mathematics and mathematics-based subjects. There are interactive explorations of mathematical ideas, self-test exercises, tools and tutorials.
-
11
Sphaerica
Interactive spherical geometry software.
Sphaerica is an interactive spherical geometry computer software. You can create complex geometric constructions in spherical geometry with this software. It supports orthogonal, stereographic and gnomonic projections to display your construction. It also has a built in scripting language for automated constructions. -
12
Gait Monitoring +
Calculates NPA PPA of a human gait based on input of data
The purpose of developing Gait Monitoring+ software system is to calculate the average acceleration cycle of all cycles of an experiment, and also to calculate the positive peak acceleration (PPA) and the negative peak acceleration (NPA). The experiment is performed by attaching triaxial accelerometer device to the tibia bone of a person who is walking on a Treadmill. Raw data obtained by the experiment is input data for Gait Monitoring+ system. The software gets the data from the user,... -
13
Math Simulator
A simulation software for numerical techniques.
Math Simulator is a java-based application which simulates various mathematical techniques.It is extremely useful for the Engineering students and for professionals. Most importantly, unlike most others Math Simulator is an Application rather than a java - library. So, user is not required to have any computer background. A Unique feature of Math Simulator is that it allows you to save queries for later reference. Hence you can save the problems along with their results. -
14
Java Micro Benchmark - control tasks required to determine the comparative performance characteristics of the computer system on different platforms. Can be used to determine the effect of different software on the performance of a computer system.
-
15
Haz ejercicios de matematicas de forma repetitiva para mejorar tu nivel de calculo basico en precision y en velocidad. Basado en método Kumon. Do math exercises repeatedly to improve your level of basic calculus in precision and speed. Kumon based.
-
16
Geoplan-Geospace is a 2D and 3D interactive geometry software to create and manipulate interactive figures for eLearning. It features euclidean geometry objects (lines, circles), numerical functions, numerical sequences, geometrical transformations.
-
17
G.A.V. (Graph Algorithm Visualizer) is a tool that visualizes algorithms from graph theory. A step-by-step visualization from each different algorithm allows the user to understand the particular algorithm very easily.
-
18
Quad Genius Pro is an interactive java-based graphical software designed by me at IIT Guwahati for school students of classes sixth to ninth to help them solve quadratic and linear equations and learn through the process.
-
19
Franklin Math is an open source Java symbolic computer algebra system (CAS), with similarities to commercial math packages such as MATLAB or Mathematica. It allows numeric and symbolic calculations, with built-in functions including plotting commands.
-
20
We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.
-
21
Applications for mobile phones with Java installed (KVM MIPS 2), which functions as a calculator to solve basic problems offered to scientists of computing.
-
22
yades - "yet another differential equation solver". This Java application solves ordinary differential equations (ODE) numerically and displays the results as tables, graphs, direction fields or vector fields.
-
23
FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics
-
24
-
25
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.
