Search Results for "computer-aided software engineering"
Sort By:
Showing 151 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.
-
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
Apktool
A tool for reverse engineering Android apk files
A tool for reverse engineering 3rd party, closed, binary Android apps. It can decode resources to nearly original form and rebuild them after making some modifications. It also makes working with an app easier because of the project like file structure and automation of some repetitive tasks like building apk, etc. It is NOT intended for piracy and other non-legal uses. It could be used for localizing, adding some features or support for custom platforms, analyzing applications and much... -
2
Erlang/OTP
Build massively scalable soft real-time systems
Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency, distribution and fault tolerance. OTP is set of Erlang libraries and design principles providing middle-ware to develop these systems. It includes its own distributed database, applications to interface... -
3
Vuesion
Vuesion is a boilerplate that helps product teams build faster
Vuesion is a boilerplate that helps product teams build faster than ever with fewer headaches and modern best practices across engineering & design. The design system increases the collaboration process between design, engineering, and product management. Productive from day one - more time to solve pain points for your users rather than implementing common features. Community best practices support your team to maintain a clean codebase set up that forces testing best practices, a high... -
4
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
-
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.
-
5
Simple DLL Injector
tiny tool to inject DLLs into Windows processes
Simple DLL Injector is a lightweight and easy-to-use Windows tool for injecting custom DLL files into running processes. It uses common Windows API functions like CreateRemoteThread and LoadLibrary to load external code into target applications, enabling debugging, testing, or modification of software behavior. The injector features a clean interface supporting DLL file browsing, process selection by name or ID, and maintains a history of injected DLLs for convenience. Additional options... -
6
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
7
Extracts dependencies and OO metrics from Java class files produced by most Java compilers. Computes API differences between versions. No source needed. Includes both Swing and command-line interfaces, with XSL stylesheets for formatting output.
-
8
Featureless Linux Library
Linux Library on top of Libc focusing on long term support.
When computer power increases, programmers generally add more "features", thus making any performance gains in new hardware negligible. This project is an attempt to develop a library above libc that breaks out of this terrible loop. -
9
EPICS-sumo
A SUpport MOdule manager for EPICS
sumo, the SUpport MOdule manager, is a set of tools to support software development for the EPICS framework. It manages build dependencies and consistent builds of the EPICS support modules. -
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
[ARCHIVAL] The central forum for the MWE community. Share your open-source data sets and MWE extraction tools, exchange ideas on evaluation strategies and further development of the tools, and discuss theoretical definitions and linguistic properties of MWEs.
-
11
tacklelib
The C++11 library, msvc2015u3/gcc5.4 + cmake,python,bash,vbs modules
https://sourceforge.net/p/tacklelib/tacklelib/ci/master/tree/README.md https://sourceforge.net/p/tacklelib/tacklelib/ci/master/tree/README_EN.txt https://sourceforge.net/p/tacklelib/tacklelib/ci/master/tree/README_EN.deps.txt https://sourceforge.net/p/tacklelib/tacklelib/ci/master/tree/README_EN.linux_x86_64.txt https://sourceforge.net/p/tacklelib/tacklelib/ci/master/tree/changelog.txt -
12
contools
console tools, batch scripts, vbs scripts
-
13
-
14
nsisplus
nsis setup libraries and tools
Set of NSIS setup libraries and tools. Includes 3dparty forked libraries recompiled with the latest NSIS SDK under the Microsoft Visual Studio 2010 including bug fix and new implementation. WARNING: Use the SVN access to find out new functionality and bug fixes. Primary: * https://svn.code.sf.net/p/nsisplus/NsisSetupDev/trunk * https://svn.code.sf.net/p/nsisplus/NsisSetupLib/trunk * https://svn.code.sf.net/p/nsisplus/NsisSetupSamples/trunk First mirror: *... -
15
Gobisoft
Software auto-installation builder
Gobisoft is a batch package builder for applications, it builds a self-install package of your programs. Creates a stand alone executable file that performs the (secured installation and removing) of the elements necessary to distribute your applications. The software offers many possibilities, such as executing commands before and after installation. -
16
ELFIO
A header-only C++ library for accessing files in ELF binary format
ELFIO is a header-only C++ library intended for reading and generating files in the ELF binary format -
17
Cambridge Z88
Software development for 4Mb portable, using Z80 CPU and AA batteries
This project is for the portable computer "Cambridge Z88", produced by Sir Clive Sinclair (of ZX Spectrum fame). We continue to support software development (ROM, 3rd party apps on memory cards and desktop applications). We have moved to https://cambridgez88.jira.com/wiki (development, source code and documentation). However, we continue to publish files for download here. -
18
-
19
Triton
Triton is a dynamic binary analysis library
Triton is a dynamic binary analysis library. It provides internal components that allow you to build your program analysis tools, automate reverse engineering, perform software verification or just emulate code. Linux, Windows and OS X compatible. You can directly compile source code from our Github repository. The Triton library is Linux, Windows and OS X compatible. A potential way to getting started is to see our Python examples already bootstrapped. -
20
rax
A progressive React framework for building universal application
Ultra-lightweight, high-performance, easy-to-use front-end solution. One-time development and multi-terminal operation, liberating repetitive work, focusing on product logic, and improving development efficiency. The Rax 1.0 system provides a wealth of components and APIs to help business students quickly develop multi-terminal projects. Go Rax is a Rax 1.0 sample app, which is provided for Rax developers for reference and learning. Rax improves the product experience through a lighter core,... -
21
XyZerKunG ServerTool helps you to make your own Minecraft server and play with your friend for a few minutes
-
22
Tool to create SVF files from HEX files for Atmel microcontrollers, similar to the closed-source avrsvf.exe application available from Atmel. You should be able to compile the tool on any platform with a C compiler, like Linux, Mac OS X, FreeBSD.
-
23
Weex
A framework for building Mobile cross-platform UI
Weex is a framework for building performant mobile apps with modern web technology. Weex is using native components and native modules to take advantage of native rendering performance and platform capabilities. Both components and modules are pluggable and extendable. You can use a single codebase to generate different bundle files to running on both Webs, Android and iOS platforms. Native components and modules have a different implementation on each platform, but they all exposed the same... -
24
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.
-
25
Computer programs for application in Sports science, Physical Culture, among others. By Enrique R.P. Buendía Lozada. buendiaenr@gmail.com , Benemérita Universidad Autónoma de Puebla (BUAP), México. (Software without any warranty).