Search Results for "computer-aided software engineering"
Sort By:
Showing 114 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
$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.
-
1
Maths, CS & AI Compendium
Become a cracked AI/ML Research Engineer
Maths, CS & AI Compendium is an open educational project that explains mathematics, computing, and artificial intelligence from foundational concepts through advanced engineering topics. It favors intuition, practical context, and connected explanations over dense textbook notation. Its chapters cover vectors, matrices, calculus, statistics, probability, machine learning, language processing, computer vision, speech, multimodal learning, robotics, and graph neural networks. It also addresses operating systems, algorithms, production software, GPU programming, AI inference, and ML systems design. ... -
2
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. -
3
Pro Git
Pro Git 2nd Edition
...Version control is a system that records changes to a file or set of files over time so that you can recall specific versions later. For the examples in this book, you will use software source code as the files being version controlled, though in reality you can do this with nearly any type of file on a computer. If you are a graphic or web designer and want to keep every version of an image or layout (which you would most certainly want to), a Version Control System (VCS) is a very wise thing to use. -
4
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. -
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
OpenSIMPLY
Discrete-event simulation modeling software for science and education
OpenSIMPLY is an open source project for simulation modeling in Delphi, Lazarus, Free Pascal. Download OpenSIMPLY at opensimply.org The project is free computer simulation software based on discrete-event approach. OpenSIMPLY is a science software with very high simulation performance. So, the simulation results can be obtained much faster. The project is suitable for people with any modeling experience, and can be used for both science and education. Some application of this modeling software are: - traffic simulation - network simulation, - emergency and evacuation ways simulation and much more. ... -
6
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. -
7
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... -
8
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 -... -
9
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. ... -
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
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... -
11
GMP Fortran library
Fortran binding for GMP library
Fortran binding for GMP library. Currently gfortran compiler supported on Linux and MS Windows (MinGW) platforms. Included Fortran program for solving Archimedes's cattle problem. -
12
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
13
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. -
14
KINRED
Integrator for hardware and software
Kinred is an open source hardware and software integrator, created by professionals for professional students. -
15
Library Management system 2020
This is a simple software that manages the library created in vb.net
This Is A Simple Software That Manages The Library Created In Vb.net In Which You Can Avail The Following Features : 1. Add Book To Library 2. Add Student To Library 3. Add Staff To Library 4. Add Subject,department,course To Library 5. Issue Book To The Staff As Well As Student Separately 6. See Records Of Any Book Issue To Anyone 7.see Date And Time Of Book Issue 8.lock The System 9.re-issue The Book 10. use Calculator And Notepad -
16
FB Chart Designer
Create multi-degree polynominals charts. Designed in FbEdit & WinAPI.
This program allows to draw diagrams with chart library, that can be used with dialog applications, based on the RC files designers (such as FbEdit for example). This is the one of the fastest way to create window application with visual design methods, and implement into it an ellegant and flexible chart, that can be choosen from four different diagram kinds (if you edit code and use it in your projects). The source code chart library by Lothar Schirm is based on the consolidated... -
17
Merupu
Electromagnetic Analysis Software
-
18
Radial++ is a C++ template library for scattered data interpolation in any dimension and also the numerical solution of partial differential equations. It provides generalized Radial Basis Functions (p.e. multiquadric, this-plate spline, etc).
-
19
High speed math parser
Expression evaluator for Delphi developers
Version 2.5 is available! The latest changes are in TFastList class. It is the secondary class intended for fast string managment. The newest TGraph component is available as well. The new ParseUtils.FindFormula method allows searching any of possible formulas within some text. Parse components are intended for Delphi developers and perform high-speed (about 10 million evaluations per second) mathematics and boolean calculations. All components are available for Delphi 6, Delphi 7,... -
20
AngelReader
An E-book, Audio-book, & Library Loader in One Application
AngelReader: A minimalist but powerful GUI application that has the capacity to load [1] E-books in plain text format with the least use of both software and hardware resources. It can also load [2] Audio-books with the basic functions of play, stop, pause, and resume with the same minimalist economy that doesn't hog computer resources. When used in integration with the AngelReader Library Selector, it can function as a mini library management system for books in electronic formats. ... -
21
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. -
22
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. ... -
23
Wiki Quick Search
Search Wikipedia in every language in this WebApp
Wiki Quick Search & Print is software was made with the API provided by Wikipedia and allows you to enable fast searches with autocomplete input inside the famous free encyclopedia. You can print the results of your search in PDF or save it in your computer to html including tables, text, images and file audio. Finally, you can avail of a convenient input for advanced search strings contained in the result page. ========= Windows 7 and later are supported. -
24
Arageli is a C++ library for computations in arithmetic, algebra, geometry, linear and integer linear programming. Arageli provides routines and classes that support precise, i.e. symbolic or algebraic, computations.
-
25
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:...