Get flash to fully experience Pearltrees
GPP is a general-purpose preprocessor with customizable syntax, suitable for a wide range of preprocessing tasks. Its independence from any one programming language makes it much more versatile than the C preprocessor (cpp), while its syntax is lighter and more flexible than that of GNU m4 . There are built-in macros for use with C/C++, LaTeX, HTML, XHTML, and Prolog files. GPP is Free Software .
On this page I offer programs developed by me as Share or Freeware for " downloading". If you should have questions, criticism or suggestions to the programs, then you can achieve me under the following E-Mail address. Much fun! My E-Mail address: email@example.com Table of contents: Gofolio 2.0 - the programming language for the ATARI portfolio
You need 3 files: Regrettably, Gödel is not supported for MS-DOS or Microsoft Windows (TM), and there are no plans for this to change in the near future. If you have a PC, and you want to try Gödel, it is recommended that you consider installing Linux . Corin Gurr has developed a S elf A pplicable G ödel (Partial) E valuator, called SAGE for short. SAGE is particularily good at specialising meta-programs. Once you have a working Gödel system, you can experiment with SAGE by downloading goedel-sage.tar.Z (200KB). Corin's thesis on SAGE may also be of interest.
GOO is a new type-based prefix syntaxed language that is simple, powerful and extensible. GOO is an acronym for G eneric O bject O rientator. GOO supercedes preproto . GOO 's manual ( htm pdf ) and mail and news . Why GOO is especially object-oriented.
Numerous approaches to the problem of determining the correctness of computer programs have been proposed and implemented, such as dynamic and static type checking. Static typing enables earlier error checking and more efficient execution in many programs, while dynamic type systems allow for greater expressiveness and flexibility. This project presents a type system, hybrid typing, and a programming language utilizing it, Gnarly, that negotiate the space between static and dynamic typing by allowing the programmer to select which typing paradigm he or she wishes to use at the level of individual terms rather than entire languages. Furthermore, any program in Gnarly that is entirely static is provably type safe, and therefore is inherently more trustworthy than it would be otherwise.
Inspired by the Semantic Web, Genyris presents a new programming paradigm. Objects can belong to multiple classes independant from construction. Indentation reduces parentheses yet retains the power of Lisp. External Java libraries can be imported. Objects can belong to multiple classes Classes are assigned to objects after construction Indentation syntax reduces parentheses Use Java class libraries like Swing 100% Java Multi-tasking Higher order functions and macros Indented syntax <p style="text-align:right;color:#A8A8A8"></p>
Gzz is an implementation of Ted Nelson's zzstructure . See Gzz in a Nutshell . News: 2003-04-01: Welcome to Fenfire.org . 2003-02-26: The Gzz project will cease to exist. Using a patented technology ( zzStructure ) that will not be openly licensed is strictly against the free software philosophy.