Search Results for "linux mint community"

Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt

RustPython is an implementation of the Python programming language written in Rust. Its goal is to provide a fast, embeddable, and secure interpreter that can be integrated into Rust applications or used standalone. Because it’s in Rust, it benefits from memory safety and modern tooling, allowing developers to compile Python into efficient binaries or embed it as a scripting engine in Rust projects. The interpreter aims to support the Python standard library, dynamic typing, garbage...

Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.

The home page for the Saxon XSLT 3.0, XQuery 3.1, and XPath 3.1 processor has moved to http://www.saxonica.com/. Information on this site is no longer kept up to date. Sourceforge was the home for open-source versions of the Saxon XSLT 3.0, XQuery 3.1, and XPath 3.1, processor from 1999 until 2022. From version 12.0 in January 2023, you need to visit the Saxonica site at http://www.saxonica.com/ for the latest information and releases.

Use phpython to write python code in your php projects without using WSGI, CGI or FastCGI. ** IMPORTANT ** Project now on GitHub visit: https://github.com/phpython/phpython

EXTE recognizes temporal expressions in a text. Temporal expressions are any references to the TIME e.g.: "today", "12th march 2006", "as soon as he woke up". This analyzer will recognize three languages: Spanish, English and French.

NaRP-i (for Not a Real Pseudo Interpreter) is a multiplatform interpreter. His goal is validate analysis of problems made in a pseudolanguage called NaRP. Narp and Narp-i are so interdependent that they should be regarded as a single project.