Search Results for "github-copilot"

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

== This project has been renamed to slang-lang/slang and moved to Github. == ObjectiveScript is an object orientated scripting language that tries to combine the speed of scripting with an object orientated syntax similar to Java and C++. The language offers native data types like bool, double, float, int and string as well as user defined object types and a system library with data types similar to the Java boxed types like Integer and String.

eXist-db is a native XML database featuring efficient, index-based XQuery processing, extensions for keyword search, XUpdate support, XSLT support, XForms support, REST and tight integration with existing XML development tools. Moved to Github - https://www.github.com/exist-db/exist

.... -- For documentation and the latest releases, please see the official homepage: www.pc-basic.org Four source code, discussions and to report bugs please see the GitHub project page https://github.com/robhagemans/pcbasic

NOTE: Yacas and yagy development has moved to github. The new repositories are located at https://github.com/grzegorzmazur/yacas and https://github.com/grzegorzmazur/yagy . The mailing list has been moved over to https://groups.google.com/forum/#!forum/yacas . The downloads section at sourceforge will be kept up to date for the foreseable future. Yacas is an easy to use, general purpose computer algebra system.

N.B. THE PROJECT HAS BEEN MOVED TO GITHUB https://github.com/jiprolog/ JIProlog is a cross-platform pure Java 100% Prolog interpreter that integrates Prolog and Java languages in a very fashinating way. JIProlog is compliant with the major Prolog interpreters. It supports most of ISO Prolog specifications and the most common and used built-in predicates, JIProlog allows to call Prolog predicates from Java without dealing with native code (JNI or JNA) and allows to invoke Java methods from Prolog in the same way you call predicates.

Moved to GitHub https://github.com/fedups Algebraic equation processing at run time for Java programs. Supports variables, functions with parameters, rate table lookups, an embedded "if" function... Infinitely extensible, very small footprint.

Sieve is a mail filtering language standardized as RFC 3028 / RFC 5228 and its extensions. libSieve provides a simple, clean API for parsing and executing Sieve scripts. Code is on GitHub: http://github.com/sodabrew/libsieve

** FORK LATEST CODE ON GITHUB ** https://github.com/mikecurry74/mybb This project was moved to Github My Business Basic (MyBB) is an open source Business Basic Interpreter/Run-time environment. We are working towards becoming a free, fully functional business basic.

A Java based simulator for the LC-3 16bit processor used in several CSS classes. (specifically in the book "Introduction to Computing Systems: From Bits and Gates to C and Beyond" (2nd Ed) Moved to GitHub