Search Results for "computer-aided software engineering" - Page 6
Sort By:
Showing 216 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.
-
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.
-
1
Small and lightweight .NET 2.0 library written in C# for quickly evaluating arithmetical expressions using interpretation or runtime MSIL generation.
-
2
A free compiler for the algo language used to describe and implement algorithms in EPITA, a French software engineering school. See (FR) http://nathalie.bouquet.free.fr/epita/algo/langage/structure.php for a detailed grammar description.
-
3
Create JIT common virtual machine into which famous language like java,microsoft ml,python etc can be translate.
-
4
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
-
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.
-
5
Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/
-
6
Hipo is a hypothetical computer to facilitate the learning of machine language. The student can use hipo to develop simple programs and understand the internal logic of a computer. There is a plan to implement Donald Knuth's MMIX machine language, also.
-
7
Chasm-interop is a set of tools that parses C++ and Fortran 90 source files and automatically generates bridging code to provide for seamless language interoperability.
-
8
This program aims at making an IDE for tibasic compiler so you can make custom programs from your computer.
-
9
The stack tracer is an delphi library for help to make exception handling to informative. The library is written for Delphi 7, but i think will work also on the 5 and 6 versions.
-
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.
-
10
MeMo (stands for Meta-Model) is planned as Generic Programming Language & IDE, as flexible & smart as it is possible for computer application, including adjustable syntax, algorithm reduction. Ideally, it has to contain AI for interacting with the user.
-
11
Brook is an ANSI C like general purpose stream programming language and is designed to incorporate the ideas of data parallel computing and arithmetic intensity into a familiar, efficient language. Has OpenMP CPU, OpenGL, DirectX 9 and AMD CTM backends.
-
12
-
13
JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/
-
14
‘intelliworm’ is a prototype simulation of a Intelligent Species of a common earth worm,which inherits human like decision making capabilities through Neural Network intelligence representation,all developed by integrating .NET with Lisp and Yacc.
-
15
The Zero Compiler is a hybrid of many computer languages incorporated into one. Push of the project is to move away from the over bloated size of .NET & other traditional compilers. Zero pushes to provide minimalism, speed & efficiency!
-
16
The Language Machine is a toolkit for language and grammar: a library, main program, and self-hosted rule compilers with one frontend. The system is easy to use. It directly implements unrestricted rule-based grammars with actions and external interfaces.
-
17
ManMetAssembly is an assembly simulator wirtten in Java. The aim is to replace "Sim8086" used in universities, as well as enhancing the simulator by proviging fetch-execute cycle information, as well as features oftern found in modern IDEs.
-
18
-
19
BDD-Based Deductive Database, an implementation of Datalog that uses Binary Decision Diagrams as the underlying data structure. This allows it to represent exponentially-sized relations efficiently.
-
20
Elena es un lenguaje de programación que trata de expresar los algorítmos de una manera más natural en código. Sus módulos interactúan como librerías o archivo principal. Está principalmente diseñado para la enseñanza.
-
21
JSim8086 is platform-independent Assembly Language Simulator of the Intel 8086 CPU. It was designed to be a learning tool (CAL) for first year Computing students who are learning Computer Systems Organisation and Assembly Programming.
-
22
A plug-in for the Eclipse C/C++ Development Tooling (CDT) that adds new Project Types specific to PowerPC C/C++ development.
-
23
GELLO is an ANSI-accredited HL7 standard for creating computable, unambiguous clinical queries. This project creates an open source compiler and client-server IDE. Projects are stored in a subversion repository, and created by the RCP based client.
-
24
Can emulate old computer on text the code pogram ideal to create kernel for operating system The begin the project the can emulate CPU(8080)and z80.
-
25
A framework for generation of real-time numerical simulations of dynamical systems from differential and difference equations.