Search Results for "computer-aided software engineering" - Page 24
Sort By:
Showing 3429 open source projects for "computer-aided software engineering"
View related business solutions-
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.
-
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.
-
1
The libbuspirate is a C library to talk with the bus pirate hardware (http://dangerousprototypes.com/docs/Bus_Pirate) in raw, binary scripting mode. The libbuspirate allows to quickly write a short C program to test interfacing with your favorite hardware. The library has mainly be used to interface through SPI with RF transceivers such as CC2500, MRF24J40, Ethernet controller such as ENC28J60, EEPROMs such as 24C02, 24FC1025, LCD display (PCD8544 / Nokia5110), LED display (HT1632), ......
-
2
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. -
3
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... -
4
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. -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
5
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... -
6
yafu
Automated integer factorization
Check yafu on github for the latest code. YAFU (with assistance from other free software) uses the most powerful modern algorithms (and implementations of them) to factor input integers in a completely automated way. The automation within YAFU is state-of-the-art, combining factorization algorithms in an intelligent and adaptive methodology that minimizes the time to find the factors of arbitrary input integers. Most algorithm implementations are multi-threaded, allowing YAFU to fully... -
7
cnn-for-image-retrieval is a research-oriented project that demonstrates the use of convolutional neural networks (CNNs) for image retrieval tasks. The repository provides implementations of CNN-based methods to extract feature representations from images and use them for similarity-based retrieval. It focuses on applying deep learning techniques to improve upon traditional handcrafted descriptors by learning features directly from data. The code includes training and evaluation scripts that...
-
8
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... -
9
mapska
The Murder Accountability Project's Serial Killer Algorithm
A much improved Linux/Perl implementation of the Murder Accountability Project's Serial Killer Algorithm. This module was tested with the "SHR76_19.csv" available from www.murderdata.org/p/data-docs.html. This module provides functions to prepare the data, upload to a database and view the identified clusters. Download SHR76_19.csv (23/03/2021) - https://www.dropbox.com/s/ye37woe6et05qgs/SHR76_19.csv.zip?dl=1 For information on this algorithm and the Murder Accountability Project... -
$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.
-
10
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).... -
11
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... -
12
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... -
13
simutron
AVR simulator IDE
Electronic circuit simulator. Simple environment to run and debug firmware for AVR 8-bit microprocessors. Able to run arduino firmware. Internally this program uses the open source Simavr AVR Processor Simulator (https://github.com/buserror/simavr) and wraps all its functions in a GUI shell. Setups for firmware debugging scenarios can be created dynamically. Able to run 16MHz MCU with decent set of external parts in real time. In particular this can be used for development of CNC firmware... -
14
proof-logic
Proof Logic : A logical framework for theorem proving
Proof Logic is a functional and equational logical framework for theorem proving based on Combinatory Logic and Lambda Calculus, whose expressions are both terms and proofs proving the equality between two terms. -
15
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.
-
16
CYBR-SUITE
Remote Scrum Communication & Collaboration Suite :: Scrum Board & co
The CYSU CYBR-SUITE is a remote Scrum solution with advanced, unique communication capabilities - the CFLX. 1. Sprint Vision Boards → clear OKRs 2. User-Story-Templates 3. Requirement-Templates, 4. Product-Backlog-Item's & Task's assessments, 5. Personality assessments, ...these mandatory ways to add more context & breaking-down complexity enable a better overview and a better understanding - for man and machine... ...based on the standardized structure of the DATA WE ARE NOW... -
17
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... -
18
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/ -
19
Tahoe is a research-oriented platform for the development of numerical methods and models for the simulation of complex material behavior.
-
20
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.
-
21
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. -
22
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,... -
23
OpenFrames
Real-time interactive 3D graphics API for scientific simulations
OpenFrames has moved its primary development repository to GitHub! Everything else will follow. Get it at https://github.com/ravidavi/OpenFrames/wiki OpenFrames is an Application Programming Interface (API) that allows developers to provides the ability to add interactive 3D graphics to any scientific simulation. A simulation developer can use OpenFrames to specify what they want to visualize, without having to know any details of computer graphics programming. OpenFrames is currently... -
24
Program for creating Verilog synthesizable XOR trees for high performance designs. Supports creation of Hamming Code (ECC) generators, checkers, and GF2 Multipliers.
-
25
Moritz
transfer xml into specific text-formats (html, dot, source-code, ...)
Moritz is an "addon" to the well known tool doxygen. It generates nassi shneiderman diagramms of functions and methods in a c/c++ source as html-files, which could be included in a software-dokumentaion or simple whached by using a html-browser.