Search Results for "computer-aided software engineering" - Page 4
Sort By:
1558 projects for "computer-aided software engineering" with 2 filters applied:
-
$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
Top Deep Learning Projects
A list of popular github projects related to deep learning
TopDeepLearning is a curated index of the most popular GitHub projects related to deep learning, ranked by their star count. Rather than being a library itself, it serves as a curated roadmap and reference guide for anyone exploring the deep learning ecosystem — from beginners to experienced practitioners. By aggregating high-star projects across frameworks (TensorFlow, PyTorch), tools (computer vision, NLP, reinforcement learning), tutorials, and research code, it helps users quickly... -
2
fvcore
Collection of common code shared among different research projects
fvcore is a lightweight utility library that factors out common performance-minded components used across Facebook/Meta computer-vision codebases. It provides numerics and loss layers (e.g., focal loss, smooth-L1, IoU/GIoU) implemented for speed and clarity, along with initialization helpers and normalization layers for building PyTorch models. Its common modules include timers, logging, checkpoints, registry patterns, and configuration helpers that reduce boilerplate in research code. A... -
3
Awesome English Ebooks
Curated list of freely available English-language magazine issues
awesome-english-ebooks is a curated list that collects high-quality, English-language ebooks across programming, computer science, mathematics, and related technical domains. The repository organizes links by topic and technology so learners can quickly find foundational texts, deep dives, and practical handbooks relevant to their goals. Entries often include notes about edition, format, or prerequisite knowledge, helping readers gauge where a book fits in a learning path. Because it lives... -
4
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. ... -
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
Keyshade
Realtime secret and configuration management tool
Keyshade is an open-source secret and configuration management platform designed to keep environment variables, API keys, and runtime configuration synchronized across local development, CI/CD, and production. It helps teams avoid hardcoding secrets or manually sharing .env files by providing a centralized system for securely storing and distributing configuration values. The platform uses public key encryption with elliptic curve cryptography to protect secrets while they are stored and... -
6
GoPay Workflow Orchestrator
Lightweight process orchestration framework for regional payment
GoPay Workflow Orchestrator is a lightweight workflow orchestration framework for studying and debugging regional payment-chain flows. It focuses on engineering reliability in multi-stage payment journeys that involve provider redirects, tokenized requests, verification challenges, asynchronous polling, and final status confirmation. The project organizes scattered payment steps into a reproducible and observable process so developers can inspect state transitions and integration failures.... -
7
pytudes
Python programs, usually short, of considerable difficulty
pytudes is Peter Norvig’s collection of short Python programs written to practice and demonstrate specific programming skills. The name is inspired by musical études, meaning compact exercises designed to build mastery through focused practice. The repository includes readable solutions, experiments, notebooks, and scripts that cover algorithms, puzzles, probability, search, language processing, simulation, and mathematical reasoning. It is useful for programmers who want to study elegant... -
8
Chili3D
A browser-based 3D CAD application for online model design
Chili3D is an open-source, browser-based 3D CAD application that enables users to design, edit, and visualize complex 3D models directly within a web environment without requiring local installation. It is built using TypeScript and leverages WebAssembly to compile the OpenCascade geometric modeling kernel, allowing it to achieve near-native performance inside the browser. The application integrates with modern rendering libraries to provide real-time visualization, interactive modeling, and... -
9
Armadillo
fast C++ library for linear algebra & scientific computing
* Fast C++ library for linear algebra (matrix maths) and scientific computing * Easy to use functions and syntax, deliberately similar to Matlab / Octave * Uses template meta-programming techniques to increase efficiency * Provides user-friendly wrappers for OpenBLAS, Intel MKL, LAPACK, ATLAS, ARPACK, SuperLU and FFTW libraries * Useful for machine learning, pattern recognition, signal processing, bioinformatics, statistics, finance, etc. * Downloads:... -
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.
-
10
Yao Open Prompts
A Chinese AI prompt vocabulary covering work, learning, content, etc.
Yao Open Prompts is an open-source AI prompt library focused on real work, study, content, marketing, education, and everyday use cases. The repository organizes 116 Chinese prompt files into practical categories and also provides synchronized English versions. Each prompt is cleaned and structured for reuse, keeping the copyable prompt body while removing promotional material, screenshots, and irrelevant formatting from the original collection. The library includes prompts for meta-prompt... -
11
GCP Config Connector
GCP Config Connector, a Kubernetes add-on for managing GCP resources
GCP Config Connector is a Kubernetes add-on that allows Google Cloud resources to be managed through Kubernetes-style configuration and the cluster API. Its central idea is that infrastructure objects such as Cloud Storage or Cloud Spanner resources can be described declaratively in manifests, after which Config Connector creates or updates the corresponding Google Cloud resources and continuously reconciles them to match the declared state. This makes the project highly valuable for teams... -
12
Recursive Language Models
General plug-and-play inference library for Recursive Language Models
RLM (short for Reinforcement Learning Models) is a modular framework that makes it easier to build, train, evaluate, and deploy reinforcement learning (RL) agents across a wide range of environments and tasks. It provides a consistent API that abstracts away many of the repetitive engineering patterns in RL research and application work, letting developers focus on modeling, experimentation, and fine-tuning rather than infrastructure plumbing. Within the framework, you can define custom... -
13
webgl-plot
A high-Performance real-time 2D plotting library based on native WebGL
webgl-plot is a high-performance plotting library for real-time data visualization in the browser using WebGL. Unlike traditional canvas or SVG-based charting libraries, webgl-plot is optimized for streaming and dynamic updates, making it ideal for oscilloscope-style data, biomedical signals, or any application where data updates hundreds of times per second. Its minimal memory footprint and GPU acceleration ensure excellent performance even with tens of thousands of data points, and its... -
14
Akamai Application Platform (for LKE)
App Platform for Linode Kubernetes Engine
apl-core is the open source heart of Akamai’s App Platform for Linode Kubernetes Engine, packaging a curated set of Kubernetes building blocks into a turnkey “platform engineering” layer. Instead of assembling ingress, certificates, GitOps, secrets, and observability by hand, you install a single Helm chart and get a consistent, production-oriented baseline on LKE or any conformant Kubernetes cluster. The project provides a guided path after installation, post-install setup, and hands-on... -
15
Grafbase
The Grafbase GraphQL Federation Gateway
Grafbase is an open-source GraphQL federation gateway and API platform designed to unify multiple backend services and data sources into a single, high-performance GraphQL interface. The project provides a Rust-based gateway that acts as the central layer for composing and managing distributed APIs, particularly in microservice architectures where data may come from many independent systems. By supporting GraphQL federation standards, the platform enables teams to combine multiple subgraphs... -
16
Android Interview Questions
Your Cheat Sheet For Android Interview
This repository is a comprehensive study guide for Android interviews, organized to cover the platform from fundamentals to advanced topics. It includes explanations and Q&A on the Android app lifecycle, activities and fragments, services, broadcast receivers, content providers, and the build system. Modern practices are addressed as well—Kotlin language features, coroutines, Jetpack components, MVVM/MVI architecture, dependency injection, and testing strategies. Performance and reliability... -
17
Node.js Best Practices
The Node.js best practices list (July 2024)
This repository is a living, community-curated guide to writing robust, maintainable Node.js applications at scale. It organizes advice into clear sections—project structure, error handling, security, testing, performance, reliability, and maintainability—so teams can adopt improvements incrementally. Each guideline is phrased as a practical recommendation with motivation and trade-offs, not just a rule, which makes it easier to reach team consensus. The content aims to be... -
18
iOS Interview Questions
iOS interview questions
This repository collects a broad, categorized list of interview questions (with expected answers) that are commonly asked in iOS or Swift engineering interviews. Topics range from language fundamentals (memory management, ARC, value vs. reference types), to UIKit/SwiftUI, concurrency, Grand Central Dispatch, background execution, networking, design patterns, system frameworks, and architecture decisions. Each question is usually backed by sample explanations or code snippets, helping... -
19
CodeBehind Framework
CodeBehind is a modern back-end framework under ASP.NET Core.
CodeBehind is a modern back-end framework under ASP.NET Core. CodeBehind was developed by Elanat in 2023 and competes with Microsoft's default web frameworks (ASP.NET Core MVC and Razor Pages and Blazor). CodeBehind is an engineering masterpiece that simultaneously provides the possibility of development based on MVC, Model-View, Controller-View, only View, and Web-Forms. The type of structure and naming in CodeBehind is nostalgia and reminds me of former Microsoft Web-Forms. The aspx... -
20
Prompt Engineering Interactive Tutorial
Anthropic's Interactive Prompt Engineering Tutorial
Prompt-eng-interactive-tutorial is a comprehensive, hands-on tutorial that teaches the craft of prompt engineering with Claude through guided, executable lessons. It starts with the anatomy of a good prompt and moves into techniques that deliver the “80/20” gains—separating instructions from data, specifying schemas, and setting evaluation criteria. The course leans heavily on realistic failure modes (ambiguity, hallucination, brittle instructions) and shows how to iteratively debug prompts... -
21
half
C++ library for half precision floating point arithmetics.
This is a C++ header-only library to provide an IEEE-754 conformant half-precision floating point type along with corresponding arithmetic operators, type conversions and common mathematical functions. It aims for both efficiency and ease of use, trying to accurately mimic the behaviour of the builtin floating point types at the best performance possible. It automatically uses and provides C++11 features when possible, but stays completely C++98-compatible when neccessary. -
22
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
-
23
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
-
24
Free, open source Computer Aided Dispatch for volunteer fire departments, ARES/RACES, CERT teams, EMS, search & rescue, and campus security. 30+ years of real-world use. Zero cost. Self-hosted.
-
25
Awesome Network Analysis
A curated list of awesome network analysis resources
awesome-network-analysis is a curated list of resources focused on network and graph analysis, including libraries, frameworks, visualization tools, datasets, and academic papers. It covers multiple programming languages and domains like sociology, biology, and computer science. This repository serves as a central reference for researchers, analysts, and developers working with network data.
