Search Results for "computer-aided software engineering"
Sort By:
26 projects for "computer-aided software engineering" with 2 filters applied:
-
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.
-
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
STLplus C++ library collection
C++ Library collection
Containers to extend STL: graph, tree, matrix, smart-pointer. Persistence (serialisation) of C++ data structures. Portability: subprocesses, TCP, file system. Reusable subsystems: library manager, message handler. Portable between OSs and compilers. Documentation is included in the download and is also available on the STLplus website http://stlplus.sourceforge.net. The headers are intended to be readable, so look at them too for usage information on each function and class. -
2
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. -
3
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. -
4
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 -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
TRURL
A suite of RPN calculators and a class library for Object Pascal
TRURL is a suite of desktop calculators with reverse Polish notation (RPN) written in Object Pascal. Additionally, it comes with a free reusable class library (RPN Engine) as a toolbox for creating your own calculator. TRURL is an acronym for "TRURL is a Reusable Universal RPN Library". Class Libraries: • RPN Engine: Full-featured calculation engine for Pascal-based RPN calculators • Segmitator: Library for virtual seven-segment displays Applications: • TRURL A: Simple demo app... -
6
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. -
7
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... -
8
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... -
9
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... -
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.
-
10
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. -
11
[OFFICIAL] tinyfiledialogs C C++ v3.21.3
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal
one C/C++ file & header ==> 8 functions: - beep - tray notify popup - message & question - input & password - save file - open file(s) - select folder - color picker complements OpenGL Vulkan GLFW GLUT GLUI VTK SFML TGUI SDL Ogre Unity3d ION OpenCV CeGui MathGL GLM CPW GLOW Open3D ImGui MyGui GLT NGL STB Nuklear Fenster MicroUi & head-less programs NO INIT NO MAIN LOOP NO LINKING NO INCLUDE win (XP to 11) ASCII MBCS UTF-8 UTF-16 (wchar_t) - native dialogs osx/unix... -
12
The libbuspirate is a C library to talk with the bus pirate hardware (http://dangerousprototypes.com/docs/Bus_Pirate) in raw, binary scripting mode. The libbuspirate allows to quickly write a short C program to test interfacing with your favorite hardware. The library has mainly be used to interface through SPI with RF transceivers such as CC2500, MRF24J40, Ethernet controller such as ENC28J60, EEPROMs such as 24C02, 24FC1025, LCD display (PCD8544 / Nokia5110), LED display (HT1632), ......
-
13
Extended C Library
Extended C Library
Why Is libxc needed? There doesn't exist a library for ANSI C99 for common data containers, such as vectors, trees, etc. There also also doesn't exist a library for common functionality, such as error reporting/logging, string functions, configuration management (reading config files), etc... The programmer working in C doesn't have anything analogous to the Boost C++ library. The extended C library is intended to make some headway into providing this functionality. To ensure... -
14
Konbu Check
Linear constraint feasibility check and get program.
This program aims to check and gain a inner point from multiple set of linear constraints. This software works better in the case that range of variables are known and parameters are configured so. C++ and Eigen library needed, and to calculate more accurate, we may need mpfr++ library or, QD library. Freezed. -
15
CLIck
a CLI generator and and SW library
CLIck allows you to create flat or hierarchical CLI (command line interfaces) in an extremely easy and quick way, supporting very popular features like history with command recalling, context-based auto-completion, tab-based command list, automatic command-line help, special characters, automatic structure builder, and much more. CLIck is written in ANSI C and tested on C and C++ applications on several architectures. It doesn't depend on any external library and uses only a very small... -
16
BiBler
Tool to manage and manipulate BibTeX entries
BiBler is a software for managing references to scientific articles using BibTeX. BiBler runs with a windows GUI or can be used as a Python library -
17
Open PHIGS
PHIGS (Programmer's Hierarchical Interactive Graphics System)
PHIGS is an API standard for rendering 3D computer graphics. During the 1990's OpenGL became a more popular 3D API for professionals, and it still is today. PHIGS remains to be widely used in the film industry. Open PHIGS uses OpenGL for rendering graphics rather than implementing it's own abstraction layer to the graphics hardware, or using the PHIGS Extension to X (PEX). The reason for doing so is that today every graphics card manufacturer provides their own OpenGL implementation,... -
18
libcutils
Some Useful C-Utilities
Libcutils provides a self-contained set of fundamental routines which are essential to basically any Unix utility or daemon application written in C. The library provides fundamental data structures such as lists, hash-maps, strings and parsing functions for JSON or the typical dot-file based configuration data. The following list summarizes the currently supported functionality: * length delimited instead of NULL terminated strings * memory management based on reference... -
19
Coronis SDK
Set of module for data processing of wireless device
The goal is to create a leading “Set of software libraries for data processing of wireless device based on Coronis platform“. These libraries will run on all major platforms (embedded and desktop) and provide services for data processing through generic APIs. Keywords: Coronis, Wavenis, API, Plugin, Wireless, Waveport, Wavecard, Profile, Java, C, C++, C# -
20
MDSTk is a collection of 2D/3D image processing tools aimed at medical images. It contains routines for volume data processing (3D filtering, segmentation, etc.) as well as fast low-level vector graphics library for surface and tetrahedral meshing. MDSTk has been forked by 3Dim Laboratory s.r.o. to provide better support and further push its development forward. Please check VPL (Voxel Processing Library) project available on Bitbucket (https://bitbucket.org/3dimlab/vpl).
-
21
EGNLA
Heterogeneous cluster for acceleration of linear algebra computations
This project deals with a new concept of the heterogeneous grid for acceleration of the numerical linear algebra computing. We design this grid with respect to maximal ratio between cost and computational power. It allows a parallelization of scientific codes with minimal programming effort. We also optimize grid concept to be less sensitive to network parameters. -
22
cppTcl.ws
C++ Tcl interface library
This library was written for C++ and Tcl programmers. It is original written by Maciej Sobczak. It was inspired by the Boost.Python library and was deliberately designed to provide a similar interface, taking into account the limitations of Tcl. The C++/Tcl library offers the following features: Support for both extending Tcl with C++ modules and embedding Tcl in C++ applications. Possibility to expose free C++ functions as commands in Tcl. Possibility to define classes... -
23
Specter - Abstract Arithmetics Library (AAL) is a library coded in native C which is able to do operations with numbers of virtually unlimited length. Specter is targeting mainly cryptography and big integer maths though.
-
24
-
25
The goal of this project - to create a TinySCHEME binaries for some kind of platforms. Now there are binaries for DOS / DJGPP and MinGW / MSYS / Win32, working on x86 architecture.