Showing 4 open source projects for "new programming language"

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
  • Total Network Visibility for Network Engineers and IT Managers Icon
    Total Network Visibility for Network Engineers and IT Managers

    Network monitoring and troubleshooting is hard. TotalView makes it easy.

    This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
    Learn More
  • 1

    GrinderScript.Net

    Enables you to run load test written in a .Net language with Grinder.

    Bringing the awesomeness of The Grinder to the .Net community. Bringing the awesomeness of the .Net programming languages to the Grinder community. GrinderScript.Net is an open source project, that enables you to run load test written in a .Net language in The Grinder. It is not a port of The Grinder to the .Net platform.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    DATA Gen™

    DATA Gen™

    DATA Gen™ - Test Data Generator to generate realistic test data.

    DATA Gen™ Test Data Generator offers facilities to automate the task of creating test data for new or existing data bases. It helps lower the programming effort required, while reducing manual test data generation errors and the ripple effect that they cause on production systems, users and maintenance.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    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
  • 4

    Kammerjäger

    Kammerjäger is a debugging tool with integrated correctness proving.

    Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • Subcontractor Construction Management Software Icon
    Subcontractor Construction Management Software

    Bidtracer has been built specifically for the MEP/BAC industry for both construction and service side

    Bidtracer has been built specifically for the MEP/BAC industry for both construction and service side including but not limited to CRM, Bid Management, Invitation to Bid, BAC Estimating, BAC Engineering, Project Management, Service Agreement, Service Work Orders, Service Repair, Service Projects all built natively in the cloud. Estimating/Engineering are connected with live pricing to many manufacturers such as JCI, Distech Controls, ABB, Carrier, ALC and many peripheral distributors such as Kele, Alps, Belimo, Siral, Bray. If we don’t have it already, we will import it as many times throughout the year. Whether you're 2 users or 1000s our system works for all levels of business and all types of users: estimators, engineers, PMs, sales, executive, and field workers with built in rich reporting, customizable reporting, charts and graphs to help companies analyze their data in real time.
    Learn More
  • Previous
  • You're on page 1
  • Next