Search Results for "computer-aided software engineering"
Sort By:
Showing 39 open source projects for "computer-aided software engineering"
View related business solutions-
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
-
Outgrown Windows Task Scheduler?Windows Task Scheduler wasn't built for complex, cross-platform automation. Get a free diagnostic that shows exactly where things are failing and provides remediation recommendations. Interactive HTML report delivered in minutes.
-
1
SignTools
A free, self-hosted platform to sideload iOS apps without a computer
SignTools is a sideloading platform that takes a different approach from any similar tools. It consists of two components — a service and a builder. The builder is a macOS machine which performs signing using official Apple software. Doing so means high reliability and compatibility. The service (this repo) can be hosted anywhere, and it provides a web interface for you to upload, sign, and download apps, using the builder where necessary. Having the web service means that you don't need anything installed on your phone, and you can still sideload without a computer. ... -
2
k6
A modern load testing tool, using Go and JavaScript
The best developer experience for load testing. Open source and SaaS for engineering teams. Test early and continuously—break the QA silo in performance testing. Backend and frontend engineers prevent regressions when running performance tests. Test scalability to improve your reliability targets. Test SLOs and avoid SLA breaches. Shift left and collaborate with developers for effective and continuous testing. Use the same script for local, distributed, and cloud tests. Migrate from local... -
3
arduino-cli
Arduino command line tool
Arduino CLI is an all-in-one solution that provides Boards/Library Managers, sketch builders, board detection, uploader, and many other tools needed to use any Arduino compatible board and platform from the command line or machine interfaces. In addition to being a standalone tool, Arduino CLI is the heart of all official Arduino development software (Arduino IDE, Arduino Web Editor). The script requires sh, which is always available on Linux and macOS. sh is not available by default on... -
4
mergestat-lite
Query git repositories with SQL. Generate reports and codebases
MergeStat enables open-source, operational analytics for software engineering teams. Treat your code (and configuration files) like a database to operationalize aspects of the SDLC. Ensure your organization is always following best practices in the software development lifecycle. Engineering transparency. Keep tabs on the areas of interest in your engineering organization, across repositories and teams. -
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.
-
5
DevPod
Codespaces but open-source, client-only and unopinionated
DevPod is a client-only tool to create reproducible developer environments based on a devcontainer.json on any backend. Each developer environment runs in a container and is specified through a devcontainer.json. Through DevPod providers, these environments can be created on any backend, such as the local computer, a Kubernetes cluster, any reachable remote machine, or in a VM in the cloud. You can think of DevPod as the glue that connects your local IDE to a machine that you want to... -
6
GoCV
Go package for computer vision using OpenCV 4 and beyond
GoCV gives programmers who use the Go programming language access to the OpenCV 4 computer vision library. The GoCV package supports the latest releases of Go and OpenCV v4.5.4 on Linux, macOS, and Windows. Our mission is to make the Go language a “first-class” client compatible with the latest developments in the OpenCV ecosystem. Computer Vision (CV) is the ability of computers to process visual information, and perform tasks normally associated with those performed by humans. ... -
7
OWASP Amass
In-depth attack surface mapping and asset discovery
The OWASP Amass Project has developed a tool to help information security professionals perform network mapping of attack surfaces and perform external asset discovery using open source information gathering and active reconnaissance techniques. The Open Web Application Security Project (OWASP) is a nonprofit foundation that works to improve the security of software. All of our projects ,tools, documents, forums, and chapters are free and open to anyone interested in improving application... -
8
Amazon CloudWatch Agent
CloudWatch Agent enables you to collect and export host-level metrics
CloudWatch Agent enables you to collect and export host-level metrics and logs on instances running Linux or Windows server. The Amazon CloudWatch Agent is software developed for the CloudWatch Agent. Collect more system-level metrics from Amazon EC2 instances across operating systems. The metrics can include in-guest metrics, in addition to the metrics for EC2 instances. The additional metrics that can be collected are listed in Metrics Collected by the CloudWatch Agent. Collect... -
9
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... -
Axe Credit Portal - ACP- is axefinance’s future-proof AI-driven solution to digitalize the loan process from KYC to servicing, available as a locally hosted or cloud-based software.Founded in 2004, axefinance is a global market-leading software provider focused on credit risk automation for lenders looking to provide an efficient, competitive, and seamless omnichannel financing journey for all client segments (FI, Retail, Commercial, and Corporate.)
-
10
Gonum
Set of numeric libraries for the Go programming language
Gonum is a set of numeric libraries for the Go programming language. It contains libraries for matrices, statistics, optimization, and more. Gonum is a set of packages designed to make writing numerical and scientific algorithms productive, performant, and scalable. Gonum contains libraries for matrices and linear algebra; statistics, probability distributions, and sampling; tools for function differentiation, integration, and optimization; network creation and analysis; and more. We... -
11
Tile38
Ultra Fast Geospatial Database & Geofencing Server
When you need the best performance for your location-based applications, you can rely on Tile38. Tile38 is an ultra-fast, open source geospatial database and geofencing server capable of real-time geofencing, fast spatial indexing and more. It supports a variety of object types including lat/lon, Geohash, bbox, GeoJSON, QuadKey, and XYZ tile; and is capable of operations like Nearby, Within, and Intersects. There’s also built-in support for many popular tools. Tile38 is made up of 3 main... -
12
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... -
13
Quint Code
Structured reasoning framework for Claude Code, Gemini, and Cursor
Quint Code is a structured reasoning and decision-support framework aimed at making AI-assisted software engineering and decision workflows more rigorous and auditable. It implements the First Principles Framework (FPF) to guide users and AI tools through hypothesis generation, logical verification, evidence gathering, and documented decision making, reducing reliance on ad hoc or “vibe” coding. Instead of accepting the first plausible answer generated by an AI assistant, Quint Code encourages generating multiple competing hypotheses, verifying them, and validating them against real evidence stored in a structured “knowledge base” within your project. ... -
14
Neosync
Open Source Data Security Platform for Developers to Monitor
Neosync is a secure, open-source platform to generate, mask, and sync realistic test data across environments. It helps engineering teams create privacy-compliant datasets using synthetic data, transformations, and pseudonymization techniques. Designed with extensibility and data governance in mind, Neosync integrates with common databases and cloud services, enabling safe test environments for development and QA. -
15
ChaosBlade
An easy to use and powerful chaos engineering experiment toolkit
ChaosBlade is an Alibaba open source experimental injection tool that follows the principles of chaos engineering and chaos experimental models to help enterprises improve the fault tolerance of distributed systems and ensure business continuity during the process of enterprises going to cloud or moving to cloud-native systems. Chaosblade is an internal open-source project of MonkeyKing. It is based on Alibaba's nearly ten years of failure testing and drill practice and combines the best... -
16
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... -
17
BricksLLM
Enterprise-grade API gateway that helps you monitor and impose cost
BricksLLM is an open-source framework for building and managing production-ready LLM (Large Language Model) applications. It provides tooling for prompt engineering, memory management, observability, and chaining, all in one unified developer experience. BricksLLM is designed to reduce boilerplate and increase the maintainability of LLM-based workflows. -
18
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... -
19
Spacemesh
Go Implementation of the Spacemesh protocol full node
Go-Spacemesh is the official Go implementation of the Spacemesh protocol, a novel blockchain based on Proof of Space-Time (PoST) designed for fair mining and energy efficiency. Unlike Proof of Work, PoST leverages unused hard drive space to secure the network, enabling anyone with a computer to participate without specialized hardware. Spacemesh introduces a mesh-based block DAG (Directed Acyclic Graph) structure for scalable and parallel consensus. The project aims to build a decentralized,... -
20
k3sup
bootstrap K3s over SSH in < 60s
k3sup is a lightweight utility to get from zero to KUBECONFIG with k3s on any local or remote VM. All you need is ssh access and the k3sup binary to get kubectl access immediately. The tool is written in Go and is cross-compiled for Linux, Windows, MacOS and even on Raspberry Pi. This tool uses ssh to install k3s to a remote Linux host. You can also use it to join existing Linux hosts into a k3s cluster as agents. First, k3s is installed using the utility script from Rancher, along with a... -
21
Apache DevLake
Apache DevLake is an open-source dev data platform
Apache DevLake is an open-source dev data platform that ingests, analyzes, and visualizes the fragmented data from DevOps tools to extract insights for engineering excellence, developer experience, and community growth. Apache DevLake is designed for developer teams looking to make better sense of their development process and to bring a more data-driven approach to their own practices. You can ask Apache DevLake many questions regarding your development process. Just connect and query. ... -
22
Infracost
Cloud cost estimates for Terraform in pull requests
Infracost scans for Terraform code changes and checks over 3 million prices to create a simple, understandable cost estimate before any resources are launched. Infracost integrates into CI/CD so everyone knows the cost impact of changes without leaving the workflow. Infracost integrates with Open Policy Agent, Sentinel, and Conftest, enabling DevOps teams to set best practices as policies. Infracost automatically creates detailed, shareable cost estimates which can be sent to clients and... -
23
OpenMeter
Metering and Billing for AI, API and DevOps
...OpenMeter integrates with payment processors, CRMs, and analytics systems, letting teams launch complex pricing models or subscription tiers without heavy custom engineering work. -
24
Halfrost-Field Frostland
This is the place to blog
Halfrost-Field is a large public “knowledge and blog repository” maintained by a developer who documents a wide variety of computer-science, programming, and machine-learning content — from classic algorithms, ML fundamentals, to system design and broader engineering topics. The repository is structured like a personal technical blog/book: it contains “contents” directories with Markdown-based notes, tutorials and guides. For example, there is a full machine learning course outline (regression, neural networks, SVMs, unsupervised learning, anomaly detection, large-scale ML, even application examples like OCR), that reads like a self-study curriculum. ... -
25
Typing Guru
SUPORTS: Hindi, English, Nepali, Tamil, Punjabi, Urdu,Bengali,Marathi.
Web Version: https://typing-guru.com/ This software is developed on the view of beginners how they can increase typing speed. There is a step-by-step process to increase typing speed. This is available for Linux and windows both. Supports: Hindi Typing, English Typing, Nepali Typing, Tamil Typing, Punjabi Typing, Urdu Typing, Bengali Typing, Marathi Typing, Telugu Typing. More language will be added if you request in reviews. Tags: Typing Guru, typing tutor 6, Marathi...
