Search Results for "computer-aided software engineering" - Page 3
Sort By:
Showing 158 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.
-
$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.
-
1
PHDL
An HDL alternative to PCB graphical schematic capture tools.
PHDL is an HDL that functions as an alternative to mainstream graphical schematic capture tools. The language is compiled into a pcb netlist which can then be imported into a layout tool. We are currently on version 2.1 of the tool. We have created an eclipse plugin version of the tool as well as a standalone command-line based version. Both function identically and output a netlist that can be imported into a pcb layout tool. VHDL revolutionized how FPGA designs and digital logic... -
2
Asterix IDE (Integrated Development Environment) is especially designed to provide many languages supports in one IDE. Asterix IDE offers superior support for JAVA, C/C++(mingw32-g++) and HTML developers to write, compile and run their code at one place. Asterix IDE lets you quickly and easily make program with multiple programming language support. With its constantly improving Java Editor, many rich features and an extensive range of tools are provided. An IDE is much more than a...
-
3
ANGEL-Automatic differentiation Nested Graph Elimination Library is a template library using the Boost Graph Library and the Standard C++ Library; it provides sparse representations of c-graphs their dual line graphs and vertex, edge and face elimina
-
4
JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
-
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
The Magda language
Magda language resource site
Magda is a programming language introduced in Jarek Kusmierek's PhD (http://www.mimuw.edu.pl/~jdk/mixiny.pdf) and continued in Mauro Mulatero's thesis (http://www.tesionline.it/default/tesi.asp?idt=45612). Magda's goal is to allow a programmer to write well-modularized, reusable code. Magda is based upon the core notion of mixin as the only unit of reuse. The power of modularization of mixins is enhanced by two unique features. The first feature is the modularization of... -
6
After a program has been thrown into the world in binary form, it can boomerang back as source code. The Boomerang reverse engineering framework is the first general native executable decompiler available to the public.
-
7
mojo
mojo provides fast analyzes for your business processes
mojo is a standalone software and library for the fast analysis of business processes. Because of its lightweight architecture and its implementation in Java, it can be used as extension in your program, e.g., business process designer. It provides new researched compiler-based analysis techniques which supports very good failure location. The software can be used under the GNU Lesser General Public License (LPGL): http://www.gnu.org/licenses/lgpl-3.0.txt -
8
CrossCompiler
A new way to program on VEX Robotics.
A new way to program on VEX Robotics.Easy vb-style objective program style. -
9
Kayacc
A Compiler Development Toolkit
Kayacc is an alternate name for the TOMBO project. I am in the process of updating the Tombo project page with version 2.1.0. Please download Tombo2.1.0.tar.gz from the Files tab. Tombo is a compiler generation toolkit for constructing compilers and interpreters. It includes a BNF compiler that generates parsers for context free grammars, and a class library to support compiler development. The class library supports symbol tables, Unicode text manipulation, reserved word mappings,... -
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
VolksForth
A small, self-hosting 16bit Forth system
VolksForth is a 16bit Forth System with the goal to produce a manageable Forthsystem for computer systems with restricted system resources. -
11
The ASN.1 Compiler
Go to github.com/vlm/asn1c for the latest version.
This ASN.1 compiler turns ASN.1 specifications into C code. The asn1c is shipped together with conformant BER/DER/XER/PER codecs. The X.509, GSM TAP3, MEGACO, RRC and LDAP encoding and decoding examples are part of the source code distribution. NOTE: THE asn1c PROJECT HAS LARGELY MOVED TO GITHUB: http://github.com/vlm/asn1c -
12
A fast and compact Forth implementation for the Texas Instruments TI-99/4A Home Computer. Written by Mark Wills in TMS9900 assembly language. A completely self-contained Forth programming environment, hosted on a plug-in cartridge.
-
13
FPGAsm
Create fast bare-metal FPGA designs without Verilog or VHDL
FPGAsm is a low-level alternative to verilog and VHDL. A near-instant 'assembler for FPGAs', this simple yet powerful language facilitates bottom-up design, layout and wiring of modules, and generation of .xdl output. With about 10 keywords to learn, you can start making circuits in minutes. Now you can focus on learning the ins and outs of the FPGA instead of complex tools and languages. Fast turnaround time and bottom-up approach invite exploration, experimentation, live circuit... -
14
OpenBlocks C++ Library
A C++ Implementation of the MIT OpenBlocks Java Code
Please see more details under: http://education.mit.edu/openblocks. I have rewritten the parser and an OpenGL 2D/3D renderer of computer programs written in OpenBlocks. I provide here the full source code and a Microsoft Visual C++ 2005 Solution File. The code includes the C++ Library and a demo driver application that constructs a computer program using OpenBlocks and displays it using OpenGL. -
15
midori programming language
dependently typed functional programming language
Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration. -
16
OPCL
Oberon Portable Compiler and Linker
Oberon Portable Compiler and Linker is command-line version of the ETH Oberon PlugIn for Windows 95/98/NT/2000. Compiler, linker and kernel by Team of the Institute for Computer Systems of ETH Zuerich. Copyright 2000 ETH Zuerich Institut fuer Computersysteme, ETH Zentrum, CH-8092 Zuerich. -
17
ExpSolverNet
Expression compiler written in C# using System.Linq.Expressions
Compiles an arbitrary expression to a .NET delegate -
18
-
19
FpgaC compiles a subset of the C language to net lists which can be imported into an FPGA vendors tool chains. C provides an excellent alternative to VHDL/Verilog for algorithmic expression of FPGA reconfigurable computing tasks. More info in wiki.
-
20
A simple compiler that is totally out of my personal interest. Currently aimed at Intel platform only. Education purpose mainly. The main reference is the "Dragon book" 2nd edition. I'm intending to implement all important algorithms in this book.
-
21
xMxmlCompiler is an eclipse plugin that provides an Eclipse Builder on mxml resource changes and a GUI to the Flex 4 compiler (mxmlc) of the open SDK. It run on GNU/Linux and Windows eclipse platform version.
-
22
ECL is a system-level specification language for HW/SW designs and is based on Esterel and C. The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation. Originally developed at Cadence Berkeley Labs.
-
23
Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.
-
24
parsing simulator can be used to determine first ,follow , nullable and can be used to calculate LR items.
-
25
RESOLVE is an integrated specification and programming language designed to develop component-based software that is fully specified and verified to be correct. It is one of the longest running software engineering projects in the USA.