Dune is a procedural programming language designed in 2008. It implements in an original way the design by contract paradigm, by introducing new concepts such as ghost variables and ghost instructions.

Project Samples

Dune official homepage

Project Activity

See All Activity >

Categories

Compilers

License

BSD License

Follow dune

dune Web Site

You Might Also Like
Red Hat Enterprise Linux on Microsoft Azure Icon
Red Hat Enterprise Linux on Microsoft Azure

Deploy Red Hat Enterprise Linux on Microsoft Azure for a secure, reliable, and scalable cloud environment, fully integrated with Microsoft services.

Red Hat Enterprise Linux (RHEL) on Microsoft Azure provides a secure, reliable, and flexible foundation for your cloud infrastructure. Red Hat Enterprise Linux on Microsoft Azure is ideal for enterprises seeking to enhance their cloud environment with seamless integration, consistent performance, and comprehensive support.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of dune!

Additional Project Details

Languages

French, English

Intended Audience

Developers

User Interface

Command-line

Programming Language

C++

Related Categories

C++ Compilers

Registered

2009-01-14
Report inappropriate content