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>
be bound to a Java Tag which is a Java bean that performs some function.
Jelly is totally extendable via custom actions (in a similar way to JSP custom
tags) as well as cleanly integrating with scripting languages such as Jexl,
Velocity, pnuts, beanshell and via BSF (Bean Scripting Framework) languages
like JavaScript & JPython.
Jelly uses an XMLOutput class which extends SAX ContentHandler to output XML
events. This makes Jelly ideal for XML content generation, SOAP scripting or
dynamic web site generation. A single Jelly tag can produce, consume, filter or
transform XML events. This leads to a powerful XML pipeline engine similar in
some ways to Cocoon.
WWW: http://jakarta.apache.org/commons/jelly/index.html
(even ones it is supposed to work on, cf. pointyhat), it fails to build
on FreeBSD 6 and 7, and lang/gcc32 is basically the same plus a single
ABI changes and many bug fixes.
It is strongly recommended to migrate to GCC 3.4 or 4.0, since only these
are still actively maintained upstream and support FreeBSD 7, for example.
MetaOCaml is a multi-stage extension of the OCaml programming language, and
provides three basic constructs called Brackets, Escape, and Run for building,
combining, and executing future-stage computations, respectively. MetaOCaml
is a compiled dialect of MetaML.
WWW: http://www.metaocaml.org/
PR: ports/82330
Submitted by: Geoffrey Mainland <mainland@apeiron.net>
CDuce is an XML centric programming language result of a joint research
project on XML, semantic subtyping, databases and efficient tree automata.
Despite its XML orientation, it is also generalist.
PR: 82117
Submitted by: Marwan Burelle <marwan.burelle (at) lri.fr>
SketchyLISP is a small, tail-recursive, lexically scoped interpreter for
purely symbolic dialect of LISP that smells like Scheme. It may be considered
an implementation of pure LISP plus DEFINE and CALL/CC.
This package contains the SketchyLISP interpreter and library, the reference
manual, and example programs.
WWW: http://www.t3x.org/sketchy/
PR: ports/81012
Submitted by: Nils M Holm <nmh@t3x.org>
the features that people like so much in languages like Python, Ruby and
Smalltalk, making them available to Java developers using a Java-like syntax.
Groovy is designed to help you get things done on the Java 2 Platform in a
quick, concise and fun way. Groovy brings the power of a scripting language
directly into the Java 2 Platform. For example:
- Shell scripting using Groovy allows the full power of the Java Platform to be
brought to bear to the task at hand.
- Groovy can be used (and indeed is already being used) as a replacement for
Java for small and medium sized applications to execute on the Java 2
Platform.
- Groovy can be used as an embedded language for dynamic business rules or
extension points utilizing the agility of Groovy and saving the cost of
redeploying applications for each change of rule (especially when the rules
are stored in a database).
- Groovy makes writing test cases for unit tests very easy.
As well as being a powerful language for scripting Java objects, Groovy can be
used as an alternative compiler to javac to generate standard Java bytecode to
be used by any Java project.
WWW: http://groovy.codehaus.org/
dropped and the lang/ruby16_r and lang/ruby18_r ports have been
removed, since no one seems to appreciate the partially working
solution.
Good news is that the pthread support of lang/ruby18 is now enabled by
default for newer systems, which means the ruby interpreter is linked
with libpthread. This will allow threaded extension libraries to run
and work properly on those systems.
The --march=cputype flag is disabled because it gets ruby to
malfunction and fail to build. I don't know if the problem is in
libpthread or in gcc.
(It really makes me wonder if they had actually tested before asking
me to do this somewhat risky change ;-)
JavaScriptCore is part of Gtk-Wecore.
JavaScriptCore is javascript interpreter that OSB uses. It is based on
Apple's WebCore JavaScriptCore code, which is in turn based on KDE kjs
code.
code with Lua. Based on a "cleaned" header file, toLua automatically
generates the binding code to access C/C++ features from Lua. Using
Lua-5.0 API and tag method facilities, the current version automatically
maps C/C++ constants, external variables, functions, namespace,
classes, and methods to Lua. It also provides facilities to create
Lua modules.
WWW: http://www.tecgraf.puc-rio.br/~celes/tolua/
Author: Waldemar Celes <celes@tecgraf.puc-rio.br>
code with Lua. Based on a "cleaned" header file, toLua automatically
generates the binding code to access C/C++ features from Lua. Using
Lua-5.0 API and tag method facilities, the current version automatically
maps C/C++ constants, external variables, functions, namespace,
classes, and methods
WWW: http://www.tecgraf.puc-rio.br/~celes/tolua/
The asn1c compiles ASN.1 (Abstract Syntax Notation One)
specifications into the C source code. This compiler supports
automatic constraints checking code generation, parametrization,
basic support for Information Object Classes. The produced C code
contains the codecs for BER & DER encoding rules.
PR: ports/71560.
Submitted by: Lev Walkin <vlm@lionet.info>
