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.