source to source transformations, and (in the future) compiling
PHP scripts down to native machine code.
PR: ports/99784
Submitted by: Conor McDermottroe <ports@mcdermottroe.com>
Approved by: ahze (mentor, implicit)
After a good number of years, we noticed that there wasn't a "non-patched"
version of a csharp-mode for Emacs. There were a few, but most of them had
comments that they were "in progress" or "about to merge", but then we noticed
that those notices were there even after a couple of months.
Then, we saw a request for a csharp-mode on the cc-mode Emacs site, so we
decided to follow the rules and create one that required no patching or
modification to the core cc-mode engine (which is a good thing). So, this is
the C# mode.
WWW: http://mfgames.com/linux/csharp-mode
most of which were added on top of a very C-like core to support better
ad-hoc scripting:
* syntax similar to ANSI C
* standard library similar to ANSI C
* automatic memory management
* runtime polymorphism
* support for exceptions
* support for anonymous functions
Additionally, an interpreter for the Arena language can be implemented
to be very compact in terms of both source code size and memory consumption.
WWW: http://www.minimalinux.org/arena/
Tcc's features include:
* Small: You can compile and execute C code everywhere, for
example on rescue disks (about 100KB for x86 TCC executable,
including C preprocessor, C compiler, assembler and linker).
* Fast: tcc generates optimized x86 code. No byte code overhead.
Compile, assemble and link several times faster than GCC.
* Unlimited: Any C dynamic library can be used directly. TCC is
heading torward full ISOC99 compliance. TCC can of course compile
itself.
* Safe: tcc includes an optional memory and bound checker. Bound
checked code can be mixed freely with standard code.
* Compile and execute C source directly. No linking or assembly
necessary. Full C preprocessor and GNU-like assembler included.
* C script supported : just add '#!/usr/local/bin/tcc -run' at
the first line of your C source, and execute it directly from the
command line.
* With libtcc, you can use TCC as a backend for dynamic code
generation.
- remove all slave ports
- add the ability to build all SAPIs concurrently
- update php5 to 5.1.4
*Read* the UPDATING file *before* trying to update PHP
(or at least before mailing me).
Maude is a high-performance reflective language and system supporting both
equational and rewriting logic specification and programming for a wide range
of applications. Maude has been influenced in important ways by the OBJ3
language, which can be regarded as an equational logic sublanguage. Besides
supporting equational specification and programming, Maude also supports
rewriting logic computation.
Rewriting logic is a logic of concurrent change that can naturally deal with
state and with concurrent computations. It has good properties as a general
semantic framework for giving executable semantics to a wide range of
languages and models of concurrency. In particular, it supports very well
concurrent object-oriented computation. The same reasons making rewriting
logic a good semantic framework make it also a good logical framework, that
is, a metalogic in which many other logics can be naturally represented and
executed.
Maude supports in a systematic and efficient way logical reflection. This
makes Maude remarkably extensible and powerful, supports an extensible algebra
of module composition operations, and allows many advanced metaprogramming and
metalanguage applications. Indeed, some of the most interesting applications
of Maude are metalanguage applications, in which Maude is used to create
executable environments for different logics, theorem provers, languages, and
models of computation.
WWW: http://maude.cs.uiuc.edu/
PR: ports/94986
Submitted by: Rick van der Zwet <rick@traffie.wzoeterwoude.net>
Freepascal 2.0.0 is the latest release of freepascal compiler
suite.
Originally named FPK-Pascal, the Free Pascal compiler is a
32 bit Turbo Pascal compatible Pascal compiler for DOS,
Linux, Win32, OS/2, (based on an older version) the AmigaOS,
FreeBSD/ELF, and BeOS.
WWW: http://www.freepascal.org/
PR: ports/82640
Submitted by: Vsevolod Stakhov <vsevolod@highsecure.ru>
Elan is a programming language originally developed by the
Technical University of Berlin, but nowadays an implementation
is maintained by the Radboud University of Nijmegen.
We at TCCN learn youngsters how to program in this language.
We installed FreeBSD on one of our SPARC's some time ago,
but Elan wasn't in the Ports tree yet. That's why I made
two ports. One for lang/elan, the Elan compiler, and one
for devel/mimir, a library the Elan compiler uses.
More info about Elan:
http://en.wikipedia.org/wiki/Elan_programming_language
PR: ports/89275
Submitted by: Ed Schouten <ed@fxq.nl>
The Twelf implementation comprises
* the LF logical framework, including type reconstruction;
* the Elf constraint logic programming language;
* an inductive meta-theorem prover for LF;
* and an Emacs interface.
PR: ports/84625
Submitted by: "Andrew Bernard" <andrew@hobnob.com>
Io is small prototype-based programming language. The ideas in Io
are mostly inspired by Smalltalk (all values are objects), Self
(prototype-based), NewtonScript (differential inheritance), Act1
(actors and futures for concurrency), LISP (code is a runtime
inspectable/modifiable tree) and Lua (small, embeddable).
WWW: http://www.iolanguage.com/
Open Object Rexx is a powerful object-oriented scripting language. The
interpreter is almost fully compatible with the original Object Rexx by IBM.
The port is derived from the generic Unix source code, with the idea to add
BSD-specific enhancements over time and also to develop modules that would
allow to run the most of OS/2 Object Rexx code on BSD platforms.
WWW: http://www.oorexx.org/
PR: ports/86005
Submitted by: Micho Durdevich <micho@matem.unam.mx>
