Showing 164 open source projects for "computer-aided software engineering"

View related business solutions
  • Build Agents and Models on One Platform Icon
    Build Agents and Models on One Platform

    Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.

    Gemini 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.
    Try It Free
  • Save Up to 91% on Cloud Compute With Spot VMs Icon
    Save Up to 91% on Cloud Compute With Spot VMs

    Automatic sustained-use discounts. One free VM per month. No negotiation needed.

    Run batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
    Try Free
  • 1
    PHDL

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Asterix IDE
    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...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    JPIE is an implementation of an Open Source Java to Prolog/Prolog to Java interoperability mecanism based on the Java VM.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits for Your Google Cloud Projects Icon
    $300 Free Credits for Your Google Cloud Projects

    Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.

    Launch 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.
    Start Free Trial
  • 5
    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.
    Downloads: 20 This Week
    Last Update:
    See Project
  • 6
    mojo

    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    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,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    The goal of the Fortran-to-Java project is to provide Java Application Programming Interfaces (APIs) to numerical libraries originally written in Fortran (particularly BLAS and LAPACK). The result of this work, JLAPACK, is distributed here.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 9

    Portable aeabi

    C portable ARM aeabi

    This library currently implements an early stage subset of ARM aeabi in portable C. It may be used by computer languages as a quick path to have a compatible aeabi library. It is not supposed to be as fast as assembler. This project started as a laboratory to provide standalone aeabi for TCC (Tiny CC - http://savannah.nongnu.org/projects/tinycc) but may be used in any software requiring its own aeabi library. GCC provides a much better implementation but requires gcc shared lib.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Train ML Models With SQL You Already Know Icon
    Train ML Models With SQL You Already Know

    BigQuery automates data prep, analysis, and predictions with built-in AI assistance.

    Build and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
    Try Free
  • 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.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 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
    Downloads: 4 This Week
    Last Update:
    See Project
  • 12
    Proyect aim is to develop a library which allow the management of very large dictionaries very efficiently using, for this purpose, numbered deterministic acyclic finite automata.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    TurboForth
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    TCE

    TCE

    The Tensor Contraction Engine

    A domain-specific compiler that facilitates the generation of high-performance parallel programs for a class of scientific computations encountered in chemistry and physics.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    midori programming language

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    a Java source to C code translator
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    xMxmlCompiler
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    MODembed
    Model-based development environment for embedded projects. Features a clean and advanced language designed for embedded programming.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    Python XML Serialization
    pyxser stands for python xml serialization and is a python object to XML serializer that validates every XML deserialization against the pyxser 1.0 XML Schema. pyxser is written entirely in C as a python extension.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    A strong, yet minimalistic Math-oriented Programming Language (MML) providing an easy-to-use console and a command-line script interpreter, targetted towards fast calculations for extremely big numbers, and bundled with a number of math libraries.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    Stampede contains all elements of a design environment for the Stamp microcontroller. It supports compilation, downloading, and full two-way communication with the Stamp. Additionally, it allows the Stamp to write text and binary files on the host.
    Downloads: 0 This Week
    Last Update:
    See Project