Search Results for "computer-aided software engineering"
Sort By:
84 projects for "computer-aided software engineering" with 2 filters applied:
-
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.
-
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.
-
1
JAGS is Just Another Gibbs Sampler. It is a program for the statistical analysis of Bayesian hierarchical models by Markov Chain Monte Carlo.
-
2
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 -
3
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. -
4
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.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
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. -
6
-
7
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. -
8
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 -
9
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.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
10
CLISP is a portable ANSI Common Lisp implementation and development environment by Bruno Haible. Interpreter, compiler, debugger, CLOS, MOP, FFI, Unicode, sockets, CLX. UI in English, German, French, Spanish, Dutch, Russian, and Danish.
-
11
kodeWeave
HTML/CSS/JS and Markdown Playground For Web Designers and Developers
kodeWeave is a realtime coding playground for HTML, CSS and Javascript. Similar to JSFiddle and JSBin, but kodeWeave was made to work offline but also as a prototyping application to build applications for desktop operating systems while on mobile devices. (PhoneGap Build is recommended for mobile devices) kodeWeave similar to jsfiddle, jsbin, dabblet, liveweave, codepen, cssdeck, cssdesk, tinkerbin, d3 playground, plunker and pastebin, but allows you to export your web app as a desktop... -
12
my-gradle-build
Build tool utilizing gradle
Introducing forks for existing plugins and also combining plugins for a set of build tools to be used with gradle. -
13
Project 2306 IDE Rad MacOS MCU DeveR
Electronic design and programming tools suite like Eagle, MpLab
Currently Only MacOS is Present, PreAlpha means not Ready to use, Application is provided Without Strict Garantee, License not OSI. All others platform Windows, Linux, HaikuOS STILL under TEST, Dummy "Hello world" is provided instead Project2306 IDE : Application pour la programmation de Microcontroleurs et d' Application Electronique Project2306 IDE : for All whom want to Create and Develop on Embed Platform Software as Programming Tools suite and PCB Design Planned... -
14
The FXL Project Eclipse Plugin leverages the integration of DSLs, (meta-) modeling approaches, code generation and the development of software configuration tools (sw-component-configuration).
-
15
This project has useful CMake macros and modules for building scientific projects. The Modules are generalized to be used with any new and/or existing projects.
-
16
ckon
automatic build tool for ROOT data analysis software
ckon is a C++ program/tool which automatically takes care of compilation, dictionary generation and linking of programs and libraries developed for data analyses within the CERN ROOT analysis framework. This includes parsing include headers to figure out which libraries the main programs need to be linked to. It uses automake/autoconf to be platform independent and GNU install compliant. In addition, m4 macros are automatically downloaded and the according compiler flags included based on a... -
17
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
-
18
-
19
Wp App Studio
Wp App Studio is a Wordpress based custom plugin development platform.
Wp App Studio (WPAS) is a cost-effective REST API based software as a service (SaaS) platform that creates fully featured WordPress apps(plugins). Saas is a software delivery model commonly used by companies such as Google, Yahoo, Amazon etc. In SaaS delivery model all processing takes place outside of your computer. WPAS as a SaaS application does not require the deployment of a complex processing infrastructure and algorithms to generate code at your computer. ... -
20
TICO
Interactive communication boards for people with severe disabilities.
TICO is currently a part of ARASUITE!!!! Please, look for ARASUITE in Sourceforge!!!! https://sourceforge.net/projects/arasuite/ TICO is a tool for the design and execution of interactive communication boards. Communication boards are highly used in augmentative and alternative communication (AAC) environments. -
21
The project supplies a template or skeleton for mainly batch processsing applications which make use of the korn Shell (ksh / pdksh), Perl and other executables (see docs). Functionality @ shell/Perl level: logging, sending email to the support, ...
-
22
Intelligent e-knowledge base engine for any kind of knowledge-based applications, supporting effective knowledge presentation, precise knowledge search, adaptive learning and immediate consulting.
-
23
Decision Table Preprocessor
Ccide is a Decision Table preprocessor.
Ccide reads a source program, in one of several programming languages, expands all embedded decision tables, and generates the new, expanded source. Ccidew processes C language programs directly. The script, ccide, uses ccidew and m4, to process BASIC, JAVA, CC, C++, BASH, QB, VB, and EX(euphoria), source files containing embedded decision tables. Ccide checks all conditions once and only once, avoiding side effects. Ccide checks tables for conflicts and other... -
24
Dataweb Project is a RAD (Rapid Application Development) written in java. It's a client/server framework that allows to develop and to use tables, forms, reports, modules, plugins, services, webservices and other from remote. See project web site.
-
25
With dp4j.jar in your project classpath you directly access private members in your tests, w/o Reflection API boilerplate code; It also generates Design Patterns code and compile-time validates implementations. And Compiler & Co work for you again!