Showing 38 open source projects for "MCT Version Control"

View related business solutions
  • Our Free Plans just got better! | Auth0 Icon
    Our Free Plans just got better! | Auth0

    With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.

    You 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.
    Try free now
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
    Start Free
  • 1
    OpenAI Codex CLI

    OpenAI Codex CLI

    Lightweight coding agent that runs in your terminal

    OpenAI Codex CLI is a lightweight, open-source coding assistant that runs directly in your terminal, designed to bring ChatGPT-level reasoning to your code workflows. It allows developers to interactively query, edit, and generate code within their repositories, all while maintaining version control. The CLI can scaffold new files, run code in sandboxed environments, install dependencies, and commit changes automatically, streamlining chat-driven development. It supports various approval modes—from suggestion-only to full automation—ensuring safe and controlled code execution. Codex CLI can also handle multimodal inputs like screenshots and diagrams to implement features intelligently. ...
    Downloads: 90 This Week
    Last Update:
    See Project
  • 2
    ALCHA

    ALCHA

    A New Programming Language for FPGA Projects

    ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    TransferWare is a collection of tools for the Oracle world: the schema version manager TransVersion (tv), the External Procedure Call (epc) toolkit for accessing the outside world from within Oracle PL/SQL and an application Performance Monitor (pm).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    PCYNLITX

    PCYNLITX

    Pcynlitx is an innovative multi-thread software development platform

    Pcynlitx is an innovative open-source multi-thread software development platform and it is an outcome of a scientific research study that is carried out by Erkam Murat Bozkurt who is a research engineer in ISTANBUL/TURKEY. Basically, Pcynlitx is not a threading library. Instead, Pcynlitx is a threading library generator and it produces an application specific multi-threading library specialized based on its user needs. The library produced by Pcynlitx acts as an autonomuous thread...
    Downloads: 0 This Week
    Last Update:
    See Project
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 5

    vcsinfo

    VCS Information Generator tool

    Allows to generate source code for your project's VCS (Version Control System) status. Include this tool into your pre-build step to hardcode version strings. vcsinfo.exe - 64-bit build. vcsinfo32.exe - 32-bit build. Currently supported: Inputs: Mercurial (hg) Outputs: C, C++ Planned: SVN, Git; Java USAGE EXAMPLES: Generate C header file for Mercurial repository using pipes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    glint

    glint

    A tool for finite state machine analysis and synthesis.

    glint is a tool facilitating you in development of state-oriented control entities which supposed to be used in very broad areas of programming (e.g. state-oriented network protocols). glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7

    autoCode4

    Synthesizing embedded control software from formal specifications

    autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    G4LTL-ST

    G4LTL-ST

    Generating PLC programs from formal specifications

    G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 9

    PLP

    Powerfull pre-processor

    Powerful Verilog Preprocessor. PLP stands for Perl Pre-processor. Perl is used as "control language" that is embedded in the Verilog code (or any other code) to generate code on the fly. It is used commonly as a Verilog pre-processor but can be used with any target/output language (C, C++, Java, VHDL, plain text etc)
    Downloads: 0 This Week
    Last Update:
    See Project
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 10
    Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    MOBIDICK
    MOBIDICK (MOdular But IntegrateD applICation frameworK) is dedicated to gather as less as possible Java frameworks in order to complete full needs of large business application and allow regeneration of code, even when java frameworks change.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    FSMDesigner
    FSMDesigner is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits.
    Downloads: 3 This Week
    Last Update:
    See Project
  • 13
    Open Source DCS (Distributed Control System). FreeDCS will give you everything you need to control your machines or process. It's being designed to be easy to use and deploy. It's composed of Logic designer, HMI designer and controller software.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    AIIXtensions for Joomla!
    AII's free extensions for Joomla! use http://jaiixtensions.sourceforge.net/update/ with Joomla Extension Manager to install
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    ACADO Toolkit

    ACADO Toolkit

    Toolkit for Automatic Control and Dynamic Optimization

    ACADO Toolkit is a software environment and algorithm collection for automatic control and dynamic optimization. It provides a general framework for using a great variety of algorithms for direct optimal control, including model predictive control, state and parameter estimation and robust optimization. ACADO Toolkit is implemented as self-contained C++ code and comes along with user-friendly MATLAB interface. The object-oriented design allows for convenient coupling of existing optimization...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    This Eclipse plugin read db information from a configuration file, connect to database and read metadata information than generetes JavaBeans, Control Class, Hibernate mapping file and optionally jsf based jsp file and its pagecode class. (Oracle and Mysql supported)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    Given an XSD schema and an XSA.xml configuration file, XML Skeleton Annotations (XSA) generates JSF forms UI to create XML records compliant to the XSD and following the XML skeleton defined in XSA.xml, still keeping everything under your control.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    Pear::DbDeploy is a pear package to employ dbdeploy as a database change-management tool. (See http://dbdeploy.com/)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Deputy is a free open source Java tool licensed under the BSD license. It supports the creation and maintainance of complex Maven 1.x projects which are assembled from other Maven projects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    A flatfile-based metadata repository and integration with common build tools (make, ant, others). A code generation framework is included and is useful to conditionally generate code objects based on the deployment environment. Metadata+deploy = :)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    This project centers around the goal of bringing the Inversion of Control principals leveraged by the Spring Framework to the client side of Google Web Toolkit (GWT) application development.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    sandboss is a messaging framework generator that creates complete communications, persistency, UI forms, configuration management, and runtime control infrastructure from struct and node declarations. Full generator support in the dependency-aware build
    Downloads: 0 This Week
    Last Update:
    See Project
  • 25
    This framework is a release notes framework that enables to generate textual release notes from an XML file. This is an open framework that enables to integrate outer information (VSC, bug tracking). Stand-alone GUI and Eclipse integration is on march.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next
MongoDB Logo MongoDB