Search Results for "computer-aided software engineering"
Sort By:
Showing 522 open source projects for "computer-aided software engineering"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
1
Catlab.jl
A framework for applied category theory in the Julia language
Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory. First and foremost, Catlab provides data structures, algorithms, and serialization for... -
2
Selenium
Browser automation framework and ecosystem
Selenium automates browsers. That's it! What you do with that power is entirely up to you. Primarily it is for automating web applications for testing purposes, but is certainly not limited to just that. Boring web-based administration tasks can (and should) also be automated as well. If you want to create robust, browser-based regression automation suites and tests, scale and distribute scripts across many environments, then you want to use Selenium WebDriver, a collection of language... -
3
GoogleTest
Google Testing and Mocking Framework
GoogleTest is Google's C++ mocking and test framework. It's used by many internal projects at Google, as well as a number of notable projects such as The Chromium projects, the OpenCV computer vision library, and the LLVM compiler. This GoogleTest project is actually a union of what used to be two separate projects: the old GoogleTest and GoogleMock, an extension of GoogleTest for writing and using C++ mock classes. Since they were so closely related, they were merged to create an even... -
4
QPanda 2
QPanda 2 is an open source quantum computing framework
QPanda2 is an open source quantum computing framework developed by Origin Quantum, which can be used to build, run and optimize quantum algorithms. QPanda2 is the basic library of a series of software developed by Origin Quantum, which provides core components for QRunes, Qurator and quantum computing services. -
Earn up to 16% annual interest with Nexo.Generate interest, access liquidity without selling, and execute trades seamlessly. All in one platform. Geographic restrictions, eligibility, and terms apply.
-
5
GoFrame
GoFrame is a modular, powerful, high-performance development framework
GoFrame is a modular, powerful, high-performance, and enterprise-class application development framework of Golang. Modular, loosely coupled design, rich components, out-of-the-box, automatic codes generating for efficiency, simple and easy to use, detailed documentation, interface designed components, with high scalability, fully supported tracing and error stack feature, specially developed and powerful ORM component. Robust engineering design specifications, convenient development CLI... -
6
Laravel Sail
Docker files for running a basic Laravel application
Sail provides a Docker powered local development experience for Laravel that is compatible with macOS, Windows (WSL2), and Linux. Other than Docker, no software or libraries are required to be installed on your local computer before using Sail. Sail's simple CLI means you can start building your Laravel application without any previous Docker experience. -
7
Brim
Application to efficiently search and analyze super-structured data
Desktop application to efficiently search and analyze super-structured data. Powered by Zed. Zed is a system that makes data easier by utilizing our new super-structured data model. Brim is a desktop app to explore, query, and shape the data in your super-structured data lake. Brim is an open source desktop application for security and network specialists. Brim makes it easy to search and analyze data from packet captures, like those created by Wireshark, and structured logs, especially from... -
8
Radare2
UNIX-like reverse engineering framework and command-line toolset
A free/libre toolchain for easing several low-level tasks like forensics, software reverse engineering, exploiting, and debugging. It is composed by a bunch of libraries (which are extended with plugins) and programs that can be automated with almost any programming language. It is recommended to install it from git, alternatively, you can pick the last release (every 6 weeks) from Github. Batch, Commandline, visual, and panels interactive modes. -
9
Laravel Dusk
Laravel Dusk provides simple end-to-end testing and browser automation
Laravel Dusk provides an expressive, easy-to-use browser automation and testing API. By default, Dusk does not require you to install JDK or Selenium on your machine. Instead, Dusk uses a standalone Chromedriver. However, you are free to utilize any other Selenium driver you wish. -
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
BotSharp
AI Multi-Agent Framework in .NET
Conversation as a platform (CaaP) is the future, so it's perfect that we're already offering the whole toolkits to our .NET developers using the BotSharp AI BOT Platform Builder to build a CaaP. It opens up as much learning power as possible for your own robots and precisely control every step of the AI processing pipeline. BotSharp is an open source machine learning framework for AI Bot platform builder. This project involves natural language understanding, computer vision and audio... -
11
streetmerchant
The world's easiest, most powerful stock checker
First and foremost, this service will not automatically buy for you. Runs 24/7, 365, looking for the items you want. Ability to add to cart when available and even opens the browser for you. When you're not by your computer, worry-free with notifications to most platforms and devices when an item comes in stock. You'll find most of the content on the left sidebar. The right sidebar will help you navigate a page. You do not need any computer skills, smarts, or anything of that nature. You are... -
12
Cloud Commander
Cloud Commander file manager for the web with console and editor
Cloud Commander is a file manager for the web. It includes a command-line console and a text editor. Cloud Commander helps you manage your server and work with files, directories and programs in a web browser from any computer, mobile or tablet. Can be used local or remotely. Adapts to screen size. 3 built-in editors with support of syntax highlighting: Dword, Edward and Deepword. Console with support of the default OS command line. Written in JavaScript/Node.js. Built-in archives pack: zip... -
13
StabilityMatrix
Multi-Platform Package Manager for Stable Diffusion
StabilityMatrix is a project that helps organize, evaluate, and compare generative AI models and their behavior across prompts, datasets, or configuration settings. It provides a framework to run experiments systematically—capturing inputs, model configurations, outputs, and metrics—so researchers and practitioners can reason about differences in quality, robustness, and failure modes. The repository often bundles tooling for automated prompt sweeping, scoring heuristics (such as diversity,... -
14
UACMe
Defeating Windows user account control
Run executable from command line, akagi32 [Key] [Param] or akagi64 [Key] [Param]. First parameter is a number of methods to use, second is an optional command (executable file name including full path) to run. The second parameter can be empty - in this case, the program will execute elevated cmd.exe from the system32 folder. Since 3.5.0 version all "fixed" methods are considered obsolete and removed altogether with all supporting code/units. If you still need them. This tool shows ONLY... -
15
L7
Large-scale WebGL-powered geospatial data visualization analysis
L7 is a WebGL-based open source large-scale geospatial data visual analysis development framework launched by Ant Financial's AntV data visualization team. The L in L7 stands for Location, and the 7 stands for the seven continents of the world, implying the ability to provide visual analysis for global location data. L7 focuses on the visual expression of data, and realizes clear and effective expression from data to information through the setting of visual variables such as color, size,... -
16
Mergo
Mergo: merging Go structs and maps since 2013
A helper to merge structs and maps in Golang. Useful for configuration default values, avoiding messy if-statements. Mergo merges same-type structs and maps by setting default values in zero-value fields. Mergo won't merge unexported (private) fields. It will do recursively any exported one. It also won't merge structs inside maps (because they are not addressable using Go reflection). Also a lovely comune (municipality) in the Province of Ancona in the Italian region of Marche. Keep in mind... -
17
gdbgui
Browser-based frontend to gdb (gnu debugger)
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser. gdbgui is a browser-based frontend to gdb, the gnu debugger. You can add breakpoints, view stack traces, and more in C, C++, Go, and Rust! It's perfect for beginners and experts. Simply run gdbgui from the terminal to start the gdbgui server, and a new tab will open in your... -
18
Doctor Dok
Doctor Dok is an AI based medical data framework
Store, manage, and understand your medical history in one secure place that only you can access. Built to protect your privacy with full end-to-end encryption. Convert all your Blood Tests, MRI Scans, TK Scans, Visit reports, and Hospital Admission Reports to JSON, safely store in the cloud, and discuss, annotate, and translate them with AI. Doctor Dok is a secure storage, digitization, sharing, and AI discovery platform for all your family and/or folder health data. All health history -... -
19
Sming
Open source framework simplifying the creation of C++ applications
Sming is an asynchronous embedded C/C++ framework with superb performance and multiple network features. Sming is open source, modular and supports multiple architectures including ESP8266 and ESP32. Superb performance and memory usage (Sming compiles to native firmware!) Fast and user-friendly development. Integrated host emulator to assist with developing, testing, and debugging libraries and applications on a PC before uploading them to an actual microcontroller. Built-in powerful... -
20
Chaos Mesh
A Chaos Engineering Platform for Kubernetes
Chaos Mesh brings various types of fault simulation to Kubernetes and has an enormous capability to orchestrate fault scenarios. It helps you conveniently simulate various abnormalities that might occur in reality during the development, testing, and production environments and find potential problems in the system. Based on the principles of Chaos Engineering, Chaos Mesh abstracts real-world events into objects that can be directly applied, hiding the trivial details. Chaos Mesh provides... -
21
go-zero
A cloud-native Go microservices framework with cli tool
go-zero is a web and rpc framework with lots of built-in engineering practices. It’s born to ensure the stability of busy services with resilience design and has been serving sites with tens of millions of users for years. go-zero (listed in CNCF Landscape: https://landscape.cncf.io/?selected=go-zero) is a web and rpc framework with lots of builtin engineering practices. It’s born to ensure the stability of busy services with resilience design and has been serving sites with tens of millions... -
22
JeeSite
A basic enterprise information development platform
JeeSite is a high-efficiency, high-performance, and strong security open source Java EE rapid development platform based on a number of excellent open source projects, highly integrated and packaged. JeeSite is the best basic platform solution for you to quickly complete your project. JeeSite is the best study case for you to learn the Java platform. JeeSite is also the best assistant for private work. JeeSite is a Java-based development platform built on the Spring Framework, with Spring... -
23
Open MCT
A web based mission control framework
Open MCT is a next-generation mission operations data visualization framework. Web-based, for desktop and mobile. Software based on Open MCT is in use as a data visualization tool in support of multiple missions at the Jet Propulsion Laboratory, and at NASA's Ames Research Center to support the development of lunar rover mission concepts. Open MCT can be adapted for planning and operations of any system that produces telemetry. While Open MCT is developed to support space missions, its core... -
24
ReactiveUI
An advanced, composable, functional reactive model-view-viewmodel
An advanced, composable, functional reactive model-view-viewmodel framework for all .NET platforms! Describe what you want, not how to do it & rejoice in the increased readability of your code. Code is communication between people, that also happens to run on a computer. If you optimise for reading by humans, then over a long time your project will end up better. Create re-usable chunks of functionality that can be seamlessly integrated into your reactive pipelines. These chunks might be... -
25
Posturr
A macOS app that blurs your screen when you slouch
Posturr is a macOS application that uses computer vision and machine learning — specifically Apple’s Vision framework — to monitor a user’s posture in real time and encourage healthier habits by visually responding when poor posture is detected. Running locally on the Mac, the app accesses the built-in camera to detect when you slouch or sit incorrectly, and when it recognizes sustained slouching, it applies a progressive visual blur to the screen as a subtle but effective cue to straighten...
