Search Results for "computer-aided software engineering" - Page 26
Sort By:
2197 projects for "computer-aided software engineering" with 2 filters applied:
-
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.
-
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
1
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. -
2
ktree
clustering, machine learning, algorithms
This project has moved to github at http://lmwtree.devries.ninja. -
3
BEYE (Binary EYE) is a free, portable, advanced file viewer with built-in editor for binary, hexadecimal and disassembler modes. It contains a highlight AVR/Java/i86-AMD64/ARM-XScale/PPC-64 and other disassembler, full preview of MZ,NE,PE,ELF and other.
-
4
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... -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
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... -
6
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.
-
7
gcRadar
A library for monitoring the garbage collection of app objects
gcRadar is not a static code anayser but it is a library using which is ment to beused in your source code and it will monitor and report the lifetime events of yuor objects. gcRadar can provide this information by using callbacks, log4j & polling. gcRadar can monitor entities ranging from individula objects to full object trees comprising of is-a & has-a relationships. By using gcRadar you can monitor the lifetime of the objects that are created by your application in runtime,... -
8
drvq
dimensionality-recursive vector quantization
drvq is a C++ library implementation of dimensionality-recursive vector quantization, a fast vector quantization method in high-dimensional Euclidean spaces under arbitrary data distributions. It is an approximation of k-means that is practically constant in data size and applies to arbitrarily high dimensions but can only scale to a few thousands of centroids. As a by-product of training, a tree structure performs either exact or approximate quantization on trained centroids, the latter... -
9
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.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
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. -
11
ivl
A C++ template library extending syntax towards mathematical notation
ivl is a full-header template C++98 math library with convenient yet powerful syntax. It extends classic C++ syntax towards mathematical notation while making use of the language's elements like classes, structs, operators and functions. Expression written using ivl are excessively optimized. In other words, ivl allows writing simpler and more expressive statements using math-like formulas while taking care of optimizing them. ivl features arrays, tuples and custom function-like... -
12
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. -
13
eHealth Charter
GUI for the coocking hacks eHealth
GUI for the cooking hacks eHealth Biomedic Sensor Platform. It reads the data through the USB. -
14
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 -
15
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.
-
16
AJT is a set of utility classes for Java for handling some bioinformatics data, graphics file export, GUI widgets, and classes that should long have been added to the official Java API.
-
17
QUAD
QUAD Memory Access Profiling Toolset
QUAD (Quantitative Usage Analysis of Data) consists of several tools that provide a comprehensive overview of the memory access behavior of an application. The primary goal is the detection of the actual data dependencies at the function-level. -
18
Gebabbel
A frontend for gpsbabel
Gebabbel is a GUI for the famous gpsbabel, a command line tool to convert various GPS file formats back and forth. Thanks to gpsbabel, you cannot only convert files but also exchange data with your GPS device (e.g. Garmin and Magellan) directly. -
19
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
20
GISBox by Citiviz
Ready-to-use appliance for GIS, Data Mining and Analysis, Modelling...
GISBox by Citiviz is a ready-to-use virtual appliance containing an assortment of powerful, free and open source GIS, Data Mining and Analysis, Modelling and Programming software and packages. The pre-configured and tested GISBox allows you to try and use in few minutes a variety of software used by data scientists, engineers, physicists, mathematicians, geomatics engineers, and geographers from around the globe, without installing anything more than once the Oracle VirtualBox™ software (https://www.virtualbox.org/) on your Linux, Windows or Mac computer. ... -
21
TxEngine is an embedded controller engine designed to allow one to make supervision & control program that fit in embedded systems. Include a modular design with native support for Modbus RTU, timers, threads, linked lists
-
22
The Java Context Directory (JCD) is an information system to store and use contextual information. It enables a software developer to create context-aware applications and provides a client for mobile devices.
-
23
Please participate in the SURVEY on rgedit's future: https://www.surveymonkey.com/s/VNMMJMJ your answers are much appreciated! Gedit (Gnome editor, www.gedit.org) plug-in allowing it to become an easy-to-use and yet light-weight IDE for the statistical programming environment, R (www.r-project.org).
-
24
Wp App Studio
Wp App Studio is a Wordpress based custom plugin development platform.
Wp App Studio (WPAS) is a cost-effective REST API based software as a service (SaaS) platform that creates fully featured WordPress apps(plugins). Saas is a software delivery model commonly used by companies such as Google, Yahoo, Amazon etc. In SaaS delivery model all processing takes place outside of your computer. WPAS as a SaaS application does not require the deployment of a complex processing infrastructure and algorithms to generate code at your computer. ... -
25
TICO
Interactive communication boards for people with severe disabilities.
TICO is currently a part of ARASUITE!!!! Please, look for ARASUITE in Sourceforge!!!! https://sourceforge.net/projects/arasuite/ TICO is a tool for the design and execution of interactive communication boards. Communication boards are highly used in augmentative and alternative communication (AAC) environments.