Search Results for "computer-aided software engineering" - Page 20
Sort By:
Showing 2547 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
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.
-
1
General catalogue of e-books
Collection of e-books (multiple disciplines, including download links)
General catalogue of e-books is a curated repository that collects links and resources for freely available technical and programming books, with a focus on high-quality material spanning computer science, programming languages, algorithms, systems, and related fields. Instead of hosting the full texts, the project points to legitimate online sources where books can be read or downloaded, serving as a centralized index for learners and professionals who want to build domain knowledge without... -
2
Jekyll theme: Adam Blog 2.0
The Minimum Viable Model website and Jekyll theme
Adam Blog 2.0 is a Jekyll theme that was built to be 100% compatible with GitHub Pages. If you are unfamiliar with GitHub Pages, you can check out their documentation for more information. Jonathan McGlone's guide on creating and hosting a personal site on GitHub is also a good resource. Jekyll is a simple, blog-aware, static site generator for personal, project, or organization sites. Basically, Jekyll takes your page content along with template files and produces a complete website. The... -
3
OpenDrop
An open Apple AirDrop implementation written in Python
...Currently (and probably also for the foreseeable future), OpenDrop only supports sending to Apple devices that are discoverable by everybody as the default contacts-only mode requires Apple-signed certificates. We support contacts-only devices by using extracted AirDrop credentials (keys and certificates) from macOS via our keychain extractor. OpenDrop is experimental software and is the result of reverse engineering efforts by the Open Wireless Link project. Therefore, it does not support all features of AirDrop or might be incompatible with future AirDrop versions. OpenDrop is not affiliated with or endorsed by Apple Inc. Use this code at your own risk. -
4
JDecisiontable
Stop to rack your brain, start using process-oriented decision tables!
This tool is about a method called "process-oriented decision tables". These are decision tables but different from "normal" decision tables. They fix the flaws of traditional decision tables making it a joy to work with. But they keep all benefits of traditional decision tables. First of all they present the logic in a very dense form. 1. Explore all possible combinations of conditions and actions by question-and-answer. 2. Have a compact one-sheet-view on complex logic. ... -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
5
This is an application generator for conflation algorithms in perl language. This system supports generation perl source code for a stemmer from a rule file, running a stemmer which is supported by the system, parsing a corpus file.
-
6
JDecisiontableLib
A library for creating decision tables written in Java.
This is a library for building decision tables and to get test specifications from it. More about decision tables and how this library works you'll find in the help files for the project JDecisiontable (which is an application build around this library): http://sourceforge.net/projects/jdecisiontable => Files => Help This library can give you decision table and test specifications as strings in json and csv format. The project JDecisiontable take this strings and save them as text... -
7
BifurcumLib
A library for running through a directional graph.
This is the library for the project Bifurcum. It does all the work. It has a simple algorithm (Deep First Search with modifications) and allows sorting children before traversing. This library sums up the authors 4-years experience when programming a commercial tool for graph traversing (which used a much more advanced algorithm) and coaching its users. -
8
PINCIS
PINCIS.pl is a Perl bioinf. script to analyze PICS data
PINCIS.pl (PIcs N-/C-terminal Inferred Substrates perl script) is a small, command line tool to designate and analyze PICS (Schilling et al., Nat. Protocols, 2011) data to gain the prime and non-prime site specificity of proteases. Thus, the script filters given peptide lists for library peptides (generated by the digestion protease in the proteomics workflow rather then the protease of interest) and prints out lists of inferred N- and C-terminal cleavage window extensions which can be... -
9
Gluon CV Toolkit
Gluon CV Toolkit
GluonCV provides implementations of state-of-the-art (SOTA) deep learning algorithms in computer vision. It aims to help engineers, researchers, and students quickly prototype products, validate new ideas and learn computer vision. It features training scripts that reproduce SOTA results reported in latest papers, a large set of pre-trained models, carefully designed APIs and easy-to-understand implementations and community support. From fundamental image classification, object detection,... -
$300 Free Credits to Build on Google CloudStart your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
-
10
RADPhE
Rapid Application Development PHP Hosting Environment
A Rapid PHP Application Development Environment designed for webmasters, developers, and hosts to enforce website uniformity, hardening, and light weight enough to function within shared hosting, in the presence of other scripts, and nested within itself. -
11
nbdev template
Template for nbdev projects
Write, test, document, and distribute software packages and technical articles, all in one place, your notebook. Traditional programming environments throw away the result of your exploration in REPLs or notebooks. nbdev makes exploration an integral part of your workflow, all while promoting software engineering best practices. -
12
TA-Lib.git: Technical Analysis Library
Mirror of the TA-Lib project using a Git repository
This project is intended to provide Git access to the code of the original project, TA-Lib, which uses Subversion. It is intended for system integrators wishing to use TA-Lib in their Git-managed project through Git submodules or subtrees. No actual development is being done here; all development happens in the original project. -
13
Android Resource Manager - ARM
Cross Platform Android Resource Manager to help you improve your code
Cross-Platform tools to manage your resources as an Android Developer, ARM provide five main services to you - Image Resize Service You can easily resize your drawables, mipmap or normal images with unlimited number of sizes, the default sizes are 7 which are ldpi, mdpi, tvdpi, hdpi, xhdpi, xxhdpi, xxxhdpi and you can add or remove sizes and preview your image - Keyword Search Service Search in all your Java, Kotlin, C++, Xml and normal text files for this keyword and show you the... -
14
PyTorch SimCLR
PyTorch implementation of SimCLR: A Simple Framework
For quite some time now, we know about the benefits of transfer learning in Computer Vision (CV) applications. Nowadays, pre-trained Deep Convolution Neural Networks (DCNNs) are the first go-to pre-solutions to learn a new task. These large models are trained on huge supervised corpora, like the ImageNet. And most important, their features are known to adapt well to new problems. This is particularly interesting when annotated training data is scarce. In situations like this, we take the... -
15
ngrev
Tool for reverse engineering of Angular applications
Graphical tool for reverse engineering of Angular projects. It allows you to navigate in the structure of your application and observe the relationship between the different modules, providers, and directives. The tool performs static code analysis which means that you don't have to run your application in order to use it. ngrev is not maintained by the Angular team. It's a side project developed by the open-source community. The application is not signed, so you may have to explicitly allow... -
16
XIVO
X Inertial-aided Visual Odometry
XIVO is an open-source repository for visual-inertial odometry/mapping. It is a simplified version of Corvis [Jones et al.,Tsotsos et al.], designed for pedagogical purposes, and incorporates odometry (relative motion of the sensor platform), local mapping (pose relative to a reference frame of the oldest visible features), and global mapping (pose relative to a global frame, including loop-closure and global re-localization, this feature, present in Corvis, is not yet incorporated in XIVO).... -
17
PlaystoreDownloader
A command line tool to download Android applications
A command line tool to download Android applications directly from the Google Play Store by specifying their package name (an initial one-time configuration is required) PlaystoreDownloader is a tool for downloading Android applications directly from the Google Play Store. After an initial (one-time) configuration, applications can be downloaded by specifying their package name. There are two ways of getting a working copy of PlaystoreDownloader on your own computer: either by using Docker... -
18
graphql.js client
A Simple and Isomorphic GraphQL Client for JavaScript
Too small, 4k gzipped. No dependencies, plain vanilla JavaScript. Plug & Play and Isomorphic. Runs on most browsers. You don't need to install Node.js ecosystem on your computer. Query merging to reduce request number. GraphQL is based on a very simple HTTP transaction, which sends a request to an endpoint with query and variables. Many libraries require complex stacks to make that simple request. In any project you don't use React, Relay, you'll need a simpler client which manages your... -
19
EduMIPS64 (aka edumips) is a cross-platform MIPS 64 ISA simulator. It can be used to run and debug MIPS programs that are written using the MIPS64 instruction set. It supports visual debugging and lets you see what instructions do in the pipeline.
-
20
OpenPose
Real-time multi-person keypoint detection library for body, face, etc.
OpenPose has represented the first real-time multi-person system to jointly detect human body, hand, facial, and foot keypoints (in total 135 keypoints) on single images. It is authored by Ginés Hidalgo, Zhe Cao, Tomas Simon, Shih-En Wei, Yaadhav Raaj, Hanbyul Joo, and Yaser Sheikh. It is maintained by Ginés Hidalgo and Yaadhav Raaj. OpenPose would not be possible without the CMU Panoptic Studio dataset. We would also like to thank all the people who has helped OpenPose in any way. 15, 18 or... -
21
lpsolve
Mixed Integer Linear Programming (MILP) solver.
Mixed Integer Linear Programming (MILP) solver lp_solve solves pure linear, (mixed) integer/binary, semi-cont and special ordered sets (SOS) models.lp_solve is written in ANSI C and can be compiled on many different platforms like Linux and WINDOWS This project is moved to github: https://lp-solve.github.io/ -
22
Tahoe is a research-oriented platform for the development of numerical methods and models for the simulation of complex material behavior.
-
23
chklinks is a non-threaded Perl link checker. It helps finding broken links on your website. It does not raises many simultaneously connections for its job, run out of the resources and crash your system in a moment.
-
24
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. -
25
CyC2018.github.io
Personal knowledge site built with GitHub Pages
This is a personal knowledge site built with GitHub Pages, organizing computer science notes and study materials in a browsable format. It aggregates content across algorithms, data structures, networking, operating systems, databases, and interview preparation into a coherent index. The presentation emphasizes succinct explanations paired with diagrams, tables, or code snippets to speed recall. Because the site is generated from a repository, it benefits from issue tracking, pull requests,...