Search Results for "computer-aided software engineering" - Page 42
Sort By:
Showing 2548 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
1
Enthusiasm is a software framework to be implemented in support to the creation and production of drama-based information presentations. The framework consists of off-line editors and real-time applications.
-
2
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. -
3
TopiaryExplorer has moved to GitHub. Find the new project info page here: https://github.com/qiime/Topiary-Explorer. If you need help or would like to add a bug/feature request, please do so there.
-
4
TOPS_CeMM
User Friendly Data Analysis Tool for Interaction Data
TOPS provides the benchtop scientist with a free toolset to analyze, filter and visualize data from functional genomic gene-gene and gene-drug interaction screens with a flexible interface to accommodate various different technologies and analysis algorithms in addition to those already provided here. -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
5
ktree
clustering, machine learning, algorithms
This project has moved to github at http://lmwtree.devries.ninja. -
6
SPE Toolbox
MatLab functions for reading WinView/WinSpec .spe files
This toolbox is a collection of MatLab functions for reading WinView/WinSpec files (.spe extension) directly to MatLab. It provides functions for reading full header from file into a structure, reading frames into matrices, and reading pixel values across all frames. You can use these functions to analyse and process experiment data stored in .spe files in MatLab, and to write functions to export .spe files to animated GIFs for use in presentations. Also includes simple MatLab application... -
7
Algeo#
A class library to use conformal geometric algebra in C#
The project is in a very early state and the working parts aren't well tested! Currently it's possible to do basic calculations with multivectors. A lot of operators are overloaded so that you can write your calculations in C# source code almost like you would do in a math software. There is also an extension library providing a control which can visualize multivectors. Visualization is based on OpenGL through the OpenTK library. At the moment I'm working on improvements of the... -
8
Route11
C++ flow-based metaprogramming library
Route11 is a powerful C++ flow-based metaprogramming library that allows you to create and route complex dataflow systems at compile-time. Route11 uses Template Metaprogramming to construct complex "process systems" defined by static relationships between "process primitives". A process primitive is a generic host class that inherits a "process policy". The process policy defines the specific behavior of a process primitive. The general term: "process" can refer to either one of these... -
9
Cloud7
Central Software Configuration by Java API and SOAP Service
CLOUD SEVEN is API and middleware together. C7 * stores central configurations in a database * is a useful tool to configure applications which run distributed on different hardware * provides a simple user administration with rights and actions * is good for small and big companies as well. * helps developers, and admins * provides configurations which can be valid for all machines (instances) or may be exclusive for single instances * can be used by API and SOAP (JMS is... -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
TestMax
Frontend & Backend Automation Tool
TestMax is integrated Software Testing framework which can be used to test distributed system by developing rapid test cases using XML configuration in front and backend that talks to each other within the test framework. This tool can be used for Database, webservice, API, Junit, TestNg and Frontend including performance test. The main advantage of this TestMax architecture is separating test data configuration from test case run time environment. It reduces the maintenance of test cases... -
11
After a program has been thrown into the world in binary form, it can boomerang back as source code. The Boomerang reverse engineering framework is the first general native executable decompiler available to the public.
-
12
TextualModelGenerator
Generator for textual models by applying different techniques
This is a project created and supported by: Angel Castellanos Juan Cigarrán Recuero Ana García Serrano This projects allows the modelling of textual contents by applying different techniques: TF-IDF KLD Mutual Information Chi^2 With this application the users can be able to extract the most representative terminology of a textual collection. The application is Java-based, allowing their execution in several platforms and operative systems (Windows, Linux, MacOS). -
13
We aim to develop a transformative computational method for automatic discovery of a set of dynamical rules that best captures both state transition and topological transformation in the data of spatio-temporal evolution of a complex network.
-
14
simple routing
Simplistic templace header for c++ based pathing or routing.
Designed to be a simple light weight and easily accessible way of mapping pathing information to a unlimited number of objects. The template is also designed to keep a minimum profile when idle, and efficient as possible means of updating a network. Not limited to, but primarily envisioned to give game developers with limited knowledge of higher-grade routing protocols a out of the box means for pathing. -
15
Fast Matrix for Java
General purpose matrix utilities for Java in Parallel Computing
Fast Matrix for Java (fm4j) is a general-purpose matrix utility library for computing with dense matrices. fm4j encapsulated different underlying implementations and select the optimal one in run-time depending on the size of the input matrix. Moreover, fm4j employs Java (Tm) Concurrency to take advantage of the computation power of multi-cor processors. -
16
DataDraw is a feature rich database generator for high performance C applications. DataDraw gives your C application a high performance object-oriented framework at speeds that beat hand coded C.
-
17
bioluminescence
A java library for polymorphic genome assembly.
Bioluminescence is a java library for facilitating de novo genome assembly in the context of reads sampled from a single highly-polymorphic diploid individual. Bioluminescence implements a novel algorithm which uses an artificial neural network to classify contigs in a genome assembly as haplotype-specific or not-haplotype-specific. It then uses this information to partition the original input read set into two subsets, each of which has been enriched for one of the haplotypes. Initial... -
18
algebrain
Math Parser for Java
Moved to GitHub https://github.com/fedups Algebraic equation processing at run time for Java programs. Supports variables, functions with parameters, rate table lookups, an embedded "if" function... Infinitely extensible, very small footprint. -
19
2D-Physics-Engine
2D physics engine and simulation
Simulate 2D physics with my engine entirely made in JavaScript. Modify live existing scenarii or create your own from scratch with the live editor. Try it on the demo web site! :) Note : If you intend to download and use the sources as it is, you need to host it as scenario resquests are made in AJAX. -
20
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).
-
21
MathX
Fixed-length Arithmetic-types library
MathX is a fixed-length arithmetic-types written in pure c++ templates. The goal is to provide signed-integer, unsigned-integer, IEEE-754 float-point and fixed-point types, all with specific number of bits. To this moment, only signed-integer and unsigned-integer are completed for little-endain architecture. Any compiler that support c++03 or c++11 can successfully compile MathX. Refer to README for more information. -
22
An extremely simple Java Rule Engine (Non-JSR 94) that uses rules you create in Java. Simply create your basic rules, implement the single "passes" method for each, then chain them together in an XML file to create more complex rules.
-
23
mojo
mojo provides fast analyzes for your business processes
mojo is a standalone software and library for the fast analysis of business processes. Because of its lightweight architecture and its implementation in Java, it can be used as extension in your program, e.g., business process designer. It provides new researched compiler-based analysis techniques which supports very good failure location. The software can be used under the GNU Lesser General Public License (LPGL): http://www.gnu.org/licenses/lgpl-3.0.txt -
24
E.N.M.L. means Environmental Noise Model Language. The target of the project is the definition of a XML specification model mainly devoted to electronic acoustic data exchange. ENML aims to format ANY kind of noise measurement.
-
25
texiteasy
Simple and Powerful Latex Editor