Search Results for "computer-aided software engineering" - Page 19
Sort By:
1558 projects for "computer-aided software engineering" with 2 filters applied:
-
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.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
xfer9860 works with the fx-9860G (AKA Graph85) versions of Casio's graphing calculators. It allows you to transfer files to your calculator, and works on platforms where libusb is available - including Linux and Windows.
-
2
ProximityForest
Efficient Approximate Nearest Neighbors for General Metric Spaces
A proximity forest is a data structure that allows for efficient computation of approximate nearest neighbors of arbitrary data elements in a metric space. See: O'Hara and Draper, "Are You Using the Right Approximate Nearest Neighbor Algorithm?", WACV 2013 (best student paper award). One application of a ProximityForest is given in the following CVPR publication: Stephen O'Hara and Bruce A. Draper, "Scalable Action Recognition with a Subspace Forest," IEEE Conference on Computer... -
3
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.
-
4
pgApex
http://95.85.49.98:8081/apex/q
Web RAD for PostgreSQL tool. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
-
6
binary Turing Machine
A Turing Machine Simulator
Free binary Turing Machine simulator with a graphical user interface and possibility to save your files. Language : French (no translation available) -
7
ANGEL-Automatic differentiation Nested Graph Elimination Library is a template library using the Boost Graph Library and the Standard C++ Library; it provides sparse representations of c-graphs their dual line graphs and vertex, edge and face elimina
-
8
JUDO is a Java IDE for children and beginning programmers. JUDO is designed to be an educational tool to teach programming concepts and to spark excitement and interest in programming.
-
9
Japrosim is a java library for both discrete event and continuous simulation. GUI for modeling and automatic code generation are offered. An explanation module is integrated. Models are described in XML and owl for interoperability.
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
11
Use Case Tool
Writing use cases
The tool for writing readable use cases. Write use cases in XML with support from a provided XSD. The structure promotes the Use Case format described by Alistair Cockburn. The tool then generates a pretty web site with the use cases that is comprehensive and easy to read. The XML sources are treated as a Maven project, so you can easily deploy them to a web server, version the source files, manage history of changes, and collaborate in a team. -
12
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.
-
13
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. -
14
ktree
clustering, machine learning, algorithms
This project has moved to github at http://lmwtree.devries.ninja. -
15
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... -
16
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... -
17
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.
-
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
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. -
20
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 -
21
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.
-
22
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.
-
23
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. -
24
FRSH/FORB is a contract-based resource reservation framework for distributed real-time applications.
-
25
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.