Q - Equational Programming Language - Browse /examples at SourceForge.net

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Parent folder
current	2007-12-17	11
old	2007-10-18	1
Totals: 2 Items		12

Other Useful Business Software

Build innovative business apps powered by process automation

Connect workflows, teams and systems within one digital business transformation platform

Manage your business as a unified system of interacting processes. Use BPMN 2.0 for low-code process modeling by business people. Follow your strategic goals with process architecture that always corresponds to the structure of an actual business.

Learn More

The most advanced C and C++ source code analyzer

Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.

TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.

Learn More

Build innovative business apps powered by process automation

Connect workflows, teams and systems within one digital business transformation platform

Learn More

Recommended Projects

Wrapl Programming Language
Very high level modular programming language with multiple dispatch, object-oriented programming, functional closures and goal-directed programming.
Programming Language ADP
ADP is a script language designed for Web database prgramming.
Bex
Bex is a scripting language for the Java platform. It is based on the BeanShell scripting language but it provides better tools for functional programming.
MOUSE Programming Language
This is a project to develop tools for the MOUSE programming language and to encourage its use as an experimental and teaching language.
Programming language KAREL
Programming language Karel is a game to learn structural programming. It consist of graphical user interface and debugger that provide easy and fast learning.

Q - Equational Programming Language Files

Get an email when there's a new version of Q - Equational Programming Language