Search Results for "computer-aided software engineering"
Sort By:
128 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.
-
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.
-
1
Armadillo
fast C++ library for linear algebra & scientific computing
* Fast C++ library for linear algebra (matrix maths) and scientific computing * Easy to use functions and syntax, deliberately similar to Matlab / Octave * Uses template meta-programming techniques to increase efficiency * Provides user-friendly wrappers for OpenBLAS, Intel MKL, LAPACK, ATLAS, ARPACK, SuperLU and FFTW libraries * Useful for machine learning, pattern recognition, signal processing, bioinformatics, statistics, finance, etc. * Downloads:... -
2
Bandicoot
fast C++ library for GPU linear algebra & scientific computing
* Fast GPU linear algebra library (matrix maths) for the C++ language, aiming towards a good balance between speed and ease of use * Provides high-level syntax and functionality deliberately similar to Matlab * Provides an API that is aiming to be compatible with Armadillo for easy transition between CPU and GPU linear algebra code * Useful for algorithm development directly in C++, or quick conversion of research code into production environments * Distributed under the permissive Apache 2.0 license, useful for both open-source and proprietary (closed-source) software * Can be used for machine learning, pattern recognition, computer vision, signal processing, bioinformatics, statistics, finance, etc * Downloads: http://coot.sourceforge.io/download.html * Documentation: http://coot.sourceforge.io/docs.html * Bug reports: http://coot.sourceforge.io/faq.html * Git repo: https://gitlab.com/conradsnicta/bandicoot-code -
3
Nemo
Individual-based forward-time genetics simulation software
Nemo is an individual-based, forward-time, genetically explicit, and stochastic simulation software designed for the study of the evolution of life history and quantitative traits, and genetic markers under various types of selection, in a spatially explicit, metapopulation framework. -
4
schur
Interactive Program For Calculating Properties Of Symmetric Functions
Schur is a standalone program for interactively calculating properties of Lie groups and symmetric functions. Schur has been designed to answer questions of relevance to a wide range of problems of interest to chemists, mathematicians, computer scientists,... -
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
Eagle Mode
Zoomable user interface (ZUI) with file manager, file viewers and more
Eagle Mode is a zoomable user interface (ZUI) with file manager, file viewers, games, and more. This project is about a futuristic style of human-computer interaction, where the user can visit almost everything simply by zooming in. It features a portable C++ toolkit API for developing such ZUIs, and it features the Eagle Mode application, which provides a virtual cosmos with plugin applications. The most important one is the professional file manager with its rich, scriptable command... -
6
Eclipse 4diac
Eclipse 4diac the open source solution for industrial automation
Eclipse 4diac is an open source PLC environment allowing to implement industrial control solutions in a vendor neutral way. 4diac implements IEC 61499 extending IEC 61131-3 with improved support for controller to controller communication and dynamic reconfiguration. With that 4diac provides the infrastructure for Industrie 4.0 and industrial IoT. Further information and the latest versions can be found here: https://eclipse.dev/4diac/ -
7
TFEL/MFront
TFEL/MFront introduces DSLs based on C++ to handle material knowledge
The TFEL library is a collaborative effort of the French Atomic Commission and Électricité de France. TFEL mostly includes the MFront code generator. MFront is based on C++ and provides several domain specific languages which were designed to simplify the implementations of new material properties, mechanical behaviours and simple material models. A particular focus was made on mechanical behaviours which are by essence more complex and may have significant impact on the numerical... -
8
GluCat: Clifford algebra templates
Calculation with Clifford algebras: C++ library and Python module
GluCat is a generic library of C++ templates that implement universal Clifford algebras over the field of real numbers. The PyClical extension module for Python gives users an easy Python scripting interface for calculations in Clifford algebras. The name PyClical is an homage to Pertti Lounesto's CLICAL. -
9
mhcfs2
engineering programmable calculator
MhcFS2 - engineering calculator. (v. 1.2 b141) (math expression calculator, scientific calculator, numerical, integral,integration, derivative, root, matrix, differencial, differentiation, equation, LSE,ODE ) -
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.
-
10
-
11
zkcm
A C++ library for multiprecision complex-number matrix calculations.
zkcm library is a C++ library for multi-precision complex-number matrix calculations. It provides a number of functionalities including the LU decomposition, the singular value decomposition, tensor product calculation, tracing-out operations, etc. -
12
Interval arithmetic for Ada
An implementation of interval arithmetic
The library provides an implementation of intervals for Ada. It includes arithmetic and relational operations. The library supports intervals with integer and floating-point bounds. Dimensioned intervals are also supported -
13
gendasm
Generic Code-Seeking Diassembler with Fuzzy-Function Analyzer
GenDasm is a Generic Code-Seeking Diassembler engine. It allows you to enter known starting vectors for a given code image for the micro. It will disassemble the code and follow through branches to assist in the separation of code and data. Its included Fuzzy Function Analyzer companion uses a DNA Sequence Alignment Algorithm to locate similar code in multiple binaries to facilitate reverse-engineering and/or code recovery. The original purpose of the Fuzzy Function Analyzer was to... -
14
EcoLab is a C++ based Agent Based Modelling system, with emphasis on high performance computing for scaling to large simulations.
-
15
Tables for Ada
Tables indexed by strings
This library provides an implementation of tables indexed by strings. The binary search is used for names of known length. It is also possible to search a table for names of unknown length, i.e. to parse a string using some table. Table elements can be of any private type. Key- insensitive tables are supported. -
16
contools
console tools, batch scripts, vbs scripts
-
17
Ada industrial control widget library
A GUI library for designing gauges, meters, oscilloscopes, plotters
A library that is intended for designing high-quality industrial control widgets for Ada applications. The widgets are composed of transparent layers drawn by cairo. The widgets are fully scalable graphics. A time controlled refresh policy is supported for real-time and heavy-duty applications. The library supports caching graphical operations and stream I/O for serialization and deserialization. Ready-to-use gauge, meter, oscilloscope widgets are provided as samples as well as an editor... -
18
Foreval
Foreval is parser , compiler , evaluator of mathematical expressions
Foreval is compiler of mathematical expressions (formulas) (directly to x86-32 CPU/FPU/SSE instructions) given as string at run-time. Present as "dll" library and Delphi sources. Can be compiled in FPC (Lazarus). Can be direct connection to the program (without dll). Сurrent version ( v. 9.1.1.395B): Examples for Delphi, Lazarus , GCC (Codeblock), MSVC. Demo: Fractals Julia; Visualizing of functions of complex variable - complex domain coloring , graph plotting & finding... -
19
Strings Edit
String editing and formatting library for Ada
Strings edit is a library that provides I/O facilities for integers, floating-point numbers, Roman numerals, and strings. Both input and output subroutines support string pointers for consequent stream processing. The output can be aligned in a fixed size field with padding. Numeric input can be checked against expected values range to be either saturated or to raise an exception. For floating-point output either relative or absolute output precision can be specified. UTF-8 encoded strings... -
20
Fuzzy sets for Ada
Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis
Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of... -
21
Units of measurement for Ada
Handling dimensioned values in Ada
The library provides an implementation of dimensioned values for Ada. Unit checks are made at run-time, if not optimized out by the compiler. SI and irregular measurement units are supported. Shifted units like degrees Celsius are supported too. Conversions from and back to strings are provided for all various irregular units. An extensive set of GTK widgets for dealing with dimensioned values is included, though use of GTK is not mandatory for the rest of the library. -
22
Adaptive Simulated Annealing (ASA)
simulated annealing optimization and importance-sampling
Adaptive Simulated Annealing (ASA) is a C-language code that finds the best global fit of a nonlinear cost-function over a D-dimensional space. ASA has over 100 OPTIONS to provide robust tuning over many classes of nonlinear stochastic systems. -
23
forevalz
ForevalZ - compiler of mathematical expressions with complex numbers
ForevalZ - compiler of mathematical expressions(formulas) with support of complex numbers (directly to CPU/FPU x86-32 comand) given as string at 'run-time'. (dll library and delphi component). Can be compiled in FPC (Lazarus). Examples for Delphi (2009), FPC , C++(Builder(2009), MSVC(2010), GCC (Codeblock)), VB.NET, VB6, FreeBasic. Demo: Fractals Julia; Visualizing of functions of complex variable - complex domain coloring . (math parser, math expression parser, evaluate formula,... -
24
CalculiXforWin
Open-Source Multiphysics FEA (FEM) Package
CalculiX Binaries for MS Windows, made with CYGWIN and ARPACK libraries. CalculiX is most popular FEA open-source package (like Code-Aster and Elmer-FEM). it is comparable in features with most known commercial packages like ANSYS, NASTRAN, Abaqus, etc. Good for structural, mechanical, thermal and fluid applications (trusses, plates, frames, shells, solid bodies). It has powerful nonlinear capabilities (including tension/compression only material like concrete) and most types of analysis... -
25
OFELI (Object Finite Element LIbrary) is a library of finite element C++ classes for multipurpose development of finite element software. It is intended for teaching, research and industrial developments as well.