Showing 9 open source projects for "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
  • Fully Managed MySQL, PostgreSQL, and SQL Server Icon
    Fully Managed MySQL, PostgreSQL, and SQL Server

    Automatic backups, patching, replication, and failover. Focus on your app, not your database.

    Cloud SQL handles your database ops end to end, so you can focus on your app.
    Try Free
  • 1
    dude development environment for java

    dude development environment for java

    Compile and run Java programs without using command mode!

    Dude is a small simple development environment written in Java which allows you to compile and run Java programs without using the command window. It is platform independent and open source. Dude is easy to set up and uses the same directory structure for source and object files.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2

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

    CodePax

    OPTIMIZING THE WAY YOU DEVELOP

    The project has moved to Github: https://github.com/ZitecCOM/CodePax
    Downloads: 0 This Week
    Last Update:
    See Project
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini 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.
    Get Started Free
  • 5
    Requirements management tool designed to achieve full SDLC traceability for features, requirements, design, implementation and testing. UI for requirements derivation, version control, attributes etc. Designed to be v2.0 to OSRMT's v1.5. The architecture will change (Grails) and move to being entirely web-based, but the driving force behind it is to retain and satisfy OSRMT users. For installation instructions, login at: https://sourceforge.net/p/nimble/wiki/Installation/ Support for aNimble Platform Users https://groups.google.com/forum/#!...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6

    TFS Project Viewer

    It displays changesets and work items on a Team Foundation Server.

    This program is capable of listing the changesets and work items which belong to those of selected projects and branches on a Team Foundation Server.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 7
    SvnBot
    The SvnBot is a simple single purpose IRC robot that monitors one or more SVN repositories. When changes are committed to a source repository the robot makes an announcement in an IRC channel.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    SQLigner
    Web-based relational database designer. With version control, autosave and real-time database manipulation. TODO: admin module, search, undo/redo buttons, multi-database real-time support (only PostgreSQL actually), etc. Based on WWWSQLDesigner
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    " Fisherman 360 " cover software project management's cycle.Fisherman 360 Features : 1 - Project management 2 - Control Version Source ( Built in Revision System ) 3 - Code Review Tool 4 - Bug issue 5 - Build System 6 - Team management
    Downloads: 0 This Week
    Last Update:
    See Project
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    Try Free
  • Previous
  • You're on page 1
  • Next
Auth0 Logo