Ports Search

SCIM table based Korean input methods: Hangul, Hanja Smart Common Input Method platform, in short SCIM, is a development platform to make Input Method developers live easier. It has very clear architecture and very simple programming interface.

The AngelCode Scripting Library, or AngelScript as it is also known, is an extremely flexible cross-platform scripting library designed to allow applications to extend their functionality through external scripts. It has been designed from the beginning to be an easy to use component, both for the application programmer and the script writer. Efforts have been made to let it call standard C functions and C++ methods with little to no need for proxy functions. The application simply registers the functions, objects, and methods that the scripts should be able to work with and nothing more has to be done with your code. The same functions used by the application internally can also be used by the scripting engine, which eliminates the need to duplicate functionality. For the script writer the scripting language follows the widely known syntax of C/C++, but without the need to worry about pointers and memory leaks. Contrary to most scripting languages, AngelScript uses the common C/C++ datatypes for more efficient communication with the host application.

The Arena language was designed with the following main features in mind, 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.

ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS.

CHICKEN is a compiler for the Scheme programming language. CHICKEN produces portable, efficient C, supports almost all of the R5RS Scheme language standard, and includes many enhancements and extensions.

Optional extras for the CMU implementation of Common Lisp. Optional packages for graphical user interfaces and other Common Lisp applications and libraries are on: ftp://cmucl.cons.org/pub/lisp/cmucl/

DLV is a system for disjunctive datalog with constraints, true negation and queries. The DLV system also includes * the K planning system, * a frontend for abductive diagnosis and Reiter's diagnosis, * support for inheritance, and * an SQL frontend which prototypes some novel SQL3 features.

Mono is an open source implementation of .NET Development Framework. Its objective is to enable UNIX developers to build and deploy cross-platform .NET Applications. The project implements various technologies developed by Microsoft that have now been submitted to the ECMA for standardization. Mono provides the necessary software to develop and run .NET client and server applications on BSD, Linux, Solaris, Mac OS X, Windows, and Unix.

Rust is an open-source systems programming language that runs blazingly fast, prevents almost all crashes, and eliminates data races. Some of its features: - Algebraic data types, type inference - Pattern matching and closures - Concurrency without data races - Guaranteed memory safety - Optional garbage collection - Zero-cost abstractions - Minimal runtime - Efficient C bindings

The Glasgow Haskell Compiler is a state-of-the-art, open source, compiler and interactive environment for the functional language Haskell. Highlights: * Supports the entire Haskell 2010 language plus a wide variety of extensions. * Has particularly good support for concurrency and parallelism, including support for Software Transactional Memory (STM). * Generates fast code, particularly for concurrent programs. * Works on several platforms including FreeBSD, Windows, Mac, Linux, most varieties of Unix, and several different processor architectures. * Has extensive optimisation capabilities, including inter-module optimisation. * Compiles Haskell code either directly to native code or using LLVM as a back-end. It can also generate C code as an intermediate target for porting to new platforms. The interactive environment compiles Haskell to bytecode, and supports execution of mixed bytecode/compiled programs. * Profiling is supported, both by time/allocation and various kinds of heap profiling. * Comes with several libraries, and thousands more are available on Hackage.