Search Results for "computer-aided software engineering"
Sort By:
Showing 8 open source projects for "computer-aided software engineering"
View related business solutions-
$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.
-
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.
-
1
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... -
2
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... -
3
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. -
4
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... -
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
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
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. ... -
7
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... -
8
B0Pass
LAN large file transfer tool
Bailing Express: A high-performance "mobile computer super file transfer artifact" and "LAN shared file server" based on Go language. LAN large file transfer tool. Go-based high-performance "mobile phone computer super large file transfer artifact", "LAN shared file server". file sharing server. Simple single executable. Shared file interface (as long as you are in the same LAN or WIFI, you can transfer very large files) Upload file interface (support click and drag) Two-dimensional code...
- Previous
- You're on page 1
- Next