Search Results for "computer-aided software engineering"
Sort By:
Showing 34 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
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.
-
1
Stellarium
GPL software which renders realistic skies in real time
Stellarium is a free GPL software which renders realistic skies in real time with OpenGL. It is available for Linux/Unix, Windows and macOS. With Stellarium, you really see what you can see with your eyes, binoculars or a small telescope. Stellarium is a free open source planetarium for your computer. It shows a realistic sky in 3D, just like what you see with the naked eye, binoculars or a telescope. -
2
GNSS-SDR
An open source software-defined GNSS receiver
An open source software-defined Global Navigation Satellite Systems (GNSS) receiver written in C++ and based on the GNU Radio framework. -
3
SigPack
SigPack - A signal processing library using Armadillo
SigPack is a C++ signal processing library using the Armadillo library as a base. The API will be familiar for those who has used IT++ and Octave/Matlab. -
4
Fuzzy machine learning framework
A library and a GUI front-end for fuzzy machine learning
Fuzzy machine learning framework is a library and a GUI front-end for machine learning using intuitionistic fuzzy data. The approach is based on the intuitionistic fuzzy sets and the possibility theory. Further characteristics are fuzzy features and classes; numeric, enumeration features and features based on linguistic variables; user-defined features; derived and evaluated features; classifiers as features for building hierarchical systems; automatic refinement in case of dependent... -
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.
-
5
CERCA
CERCA – Citation Extraction & Reference Checking Assistant
CERCA is an open-source research tool that supports the verification of bibliographic references in scientific manuscripts. It extracts references from PDF files and checks their existence and consistency against authoritative metadata sources, producing explainable diagnostics, audit logs, and reproducible reports. It is intended for: - Researchers performing final manuscript checks - Reviewers assessing reference consistency - Editors supporting editorial quality control -... -
6
moebinv
C++ libraries for manipulations in non-Euclidean geometry
...The second library Figure operates on ensembles of cycles connected by Moebius-invariant relations, e.g. orthogonality. Both libraries are based on the Clifford algebra capacities of the GiNaC computer algebra system (http://ginac.de). Besides C++ libraries there is a Python wrapper, which can be used in interactive mode (https://codeocean.com/capsule/7952650/). Both libraries work in arbitrary dimensions and signatures of metric. Additionally, there are some 2D/3D-specific routines including a visualisation to PostScript files through Asymptote (http://asymptote.sourcefourge.net) software. ... -
7
Frevo
Frevo is probably the simplest tool for evolutionary design
FREVO is an open-source framework developed in Java to help engineers and scientists in evolutionary design or optimization tasks. The major feature of FREVO is the componentwise decomposition and separation of the key building blocks for each optimization tasks. We identify these as the problem definition, solution representation and the optimization method. This structure enables the components to be designed separately allowing the user to easily swap and evaluate different configurations... -
8
GeoSolver
A Python library for solving geometric constraint problems
GeoSolver is a Python library for solving geometric constraint problems. A graphical testing and demostration application, the Geometric Constraint Workbench is included with the software. -
9
Navmol
Molecular structure navigator for Blind and Visually Impaired people
Navmol is a software that allows people that are blind or visually impaired to navigate and edit molecular structures in a simple and intuitive way. -
$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.
-
10
PhraseComposer
AACT FCEE Cerebral Palsy UNIVALI
This tool can improve communication based on communication boards and iconographic symbols. Users with motor and communication disturbs can communicate by selecting characters on a computer screen using expressions like Blink (simultaneous blink left and right eye), individual blink(blink left or right eye), smile, raise eyebrow and some others. In this version, the tool allows users only select character to form phrases and listen letters and/or words (configurable). With some modifications, users can use numbers and arithmetic operators, figures/pictures, and others symbols to increase and diversify the software usage. ... -
11
StochKit is an extensible stochastic simulation framework developed in C++ that aims to make stochastic simulation accessible to practicing biologists and chemists, while remaining open to extension via new stochastic and multiscale algorithms. StochKit is part of the StochSS project [http://www.stochss.org/], and we are relying on continued funding for sustained development. Please consider registering to show your support. Register here:...
-
12
jSulfoQuant
Sb/(Sb+As) content ratio determination of the sulfosalts minerals
A computer program for a fast and accurate determination of Sb/(Sb+As) content ratio in the tetrahedrite-tennantite and bournonite-seligmannite solid solution series by at least one spectral parameter (band position or relative intensity) of their Raman spectra. -
13
GAVS+
An open platform for the research of algorithmic game solving
...is an open-source tool which enables to visualize a broad spectrum of algorithmic games used in verification and synthesis, and offers a standard interface with utility functions to establish connection with engineering practice. It is developed by Department of Informatics (Unit 6), TU München. The tool is mainly is served for research and educational purposes. The software is released under the GNU General Public License (v3). A slightly outdated tutorial (in PDF) is included in the zip file. -
14
Bat2015
Bachelor of Science (Informatik)
The toolkit glpk supports methods for mixed integer linear programming (MILP). These methods solve Capital Budgeting Problems (CBP). Unfortunately, glpk does not support any multithreading and there is no feature to distribute problems via network connections. Today, this is a pitiable sight, because modern computer systems are coupled by networks and support multi threading. We create a distributed system with Apache thrift and the C-API of glpk. Now, it is possible to use as many cores in... -
15
GUAJE FUZZY
Free software for generating understandable and accurate fuzzy systems
GUAJE stands for Generating Understandable and Accurate fuzzy models in a Java Environment. Thus, it is a free software tool (licensed under GPL-v3) with the aim of supporting the design of interpretable and accurate fuzzy systems by means of combining several preexisting open source tools, taking profit from the main advantages of all of them. It is a user-friendly portable tool designed and developed in order to make easier knowledge extraction and representation for fuzzy systems, paying... -
16
SyntheticWSI
Tools to generate and visualize artificial whole slide images
Java 8+ required. Collection of tools to help generate artificial Whole Slide Images (WSIs). A WSI is stored as a ZIP archive of JPG tiles, and this software contains a tool to visualize this format. SVS files can be used directly for texture extraction (thanks to the included Bio-Formats library). Main source files in package fr.unistra.wsi.synthetic. -
17
jmathstudio - Java Image/Signal toolkit
Java toolkit for discrete Image and Signal processing.
JMathStudio is a Java based digital image and signal processing toolkit/library. It is simple to use, portable, light (~300 Kb), extendable and free. Full source code available at https://github.com/bhavyaajani/jmathstudio Android compatible JMathStudio is available @ https://sourceforge.net/projects/jmathstudio-android/ -
18
Geospace Analysis Package
MatLab toolbox for magnetospheric and ionospheric science.
A MatLab toolbox with many simple and useful functions for analyzing data from Cluster, Champ and the Swarm missions. Other functions for space plasma physics, magnetospheric and ionospheric research are included. The toolbox is designed to be as simple as possible. Each function can be learned and used individually. See the tutorial in the Files section for a quick introduction. -
19
Evidence bucket
A minimalist cross-platform transcription software
This project was moved to https://code.google.com/p/evidence-bucket/ -
20
eugen library
Public MatLab toolbox for space science.
A MatLab toolbox with many simple and useful functions for analyzing data from Cluster, Champ and the future Swarm missions. Other functions for space science, magnetospheric and ionospheric research are included. The toolbox is designed to be as simple as possible. Each function can be learned and used individually. Check the webpage for the list of functions: http://eugen-library.sourceforge.net/ -
21
Bracer
Repository has been moved to: http://dtitov.github.com/bracer
Java library for parsing and evaluating math expressions. Javadoc is available at http://bracer.sourceforge.net/javadoc/ P.S. This library depends on Apache Commons Math, so don't forget to include commons-math-2.2.jar to your project. -
22
MSR Tools is a source code evolution analysis tool. It consists of a framework for mining software repositories and tools for metric calculation, visualization, defect prediction.
-
23
OrthoInspector is a new software system for orthology/paralogy analysis. Its purpose is to facilitate the installation and the maintenance of a database describing orthology/inparalogy relations and to provide tools to exploit these data.
-
24
RGP: Red General de Posicionamiento (Project Number P022-06/E16 - Junta de Andalucía) -- General Network Positioning based on open software and hardware. This project is the development and test of the standard IEC-60870-5 application layer protocol
-
25
Biomedical Information Management System (BIMS) is a modular multilayer object - oriented software architecture, which provides a flexible computational solution to capture and manage a heterogeneous biomedical data: textual and visual information.