quick references that feature the most commonly forgotten things on a specific topic. You can print them out and hang them on your wall, or just keep them handy in your bookmarks for quick reference.
OmegaT is a free translation memory application written in Java. It is a tool intended for professional translators. It does not translate for you! (Software that does this is called "machine translation", and you will have to look elsewhere for it.) OmegaT has the following features:
* Fuzzy matching
* Match propagation
* Simultaneous processing of multiple-file projects
* Simultaneous use of multiple translation memories
* External glossaries
* Document file formats include:
XHTML and HTML
Microsoft Office 2007 XML
OpenOffice.org/StarOffice
XLIFF (Okapi)
MediaWiki (Wikipedia)
Plain text
* Unicode (UTF-8) support: can be used with non-Latin alphabets
* Support for right-to-left languages
* Compatible with other translation memory applications (TMX)
C Scripting Language (CSL) is a well structured and easy to learn script programming language available for 32 bit Windows, OS/2 and Unix style systems. CSL follows the C syntax very closely and programmers used to C, C++ and JAVA will immediately be familiar with it. CSL is used like an interpreter: You write the program with your favorite editor and run it directly like any shell script.
Isabelle is a popular generic theorem proving environment developed at Cambridge University (Larry Paulson) and TU Munich (Tobias Nipkow). See the Isabelle overview.
This site provides general information on Isabelle, more specific information is available from the local sites
Closures - Comparing the core of BGGA, CICE and FCM
In this blog I'm going to compare the core of the three principle 'closure' proposals. This is particularly apt following the recent surge in interest after Josh Bloch's Javapolis talk.
Toki Pona is a minimal artificial language that focuses on the good things in life. It has been designed to express the most, using the least. The entire language has only 14 basic sounds and 118 words. The grammar, although different from English, is v
The Mixxer is a free educational community for language learners and teachers to find a language partner for a language exchange. The language partner is someone who speaks the language you study as their native language and is studying your native language. As a member of the Mixxer community, you can communicate with your language partner via Skype to practice speaking. You can also submit documents and ask native speakers to correct your writing.
Netspeak hilft Ihnen bei der Wortwahl.
Mit Netspeak finden Sie heraus, wie Engländer etwas schreiben würden. Aus den gebräuchlichsten Formulierungen können Sie so die passende wählen.
Beispiel
Um herauszufinden, was am häufigsten nach "I am waiting" geschrieben wird, stellen Sie einfach folgende Anfrage:
i am waiting ?
Clojure is a dynamic programming language that targets the Java Virtual Machine. It is designed to be a general-purpose language, combining the approachability and interactive development of a scripting language with an efficient and robust infrastructure for multithreaded programming. Clojure is a compiled language - it compiles directly to JVM bytecode, yet remains completely dynamic. Every feature supported by Clojure is supported at runtime. Clojure provides easy access to the Java frameworks, with optional type hints and type inference, to ensure that calls to Java can avoid reflection.
Clojure is a dialect of Lisp, and shares with Lisp the code-as-data philosophy and a powerful macro system. Clojure is predominantly a functional programming language, and features a rich set of immutable, persistent data structures. When mutable state is needed, Clojure offers a software transactional memory system and reactive Agent system that ensure clean, correct, multithreaded designs.
I hope you find Clojure's combination of facilities elegant, powerful, practical and fun to use.
The primary forum for discussing Clojure is the Google Group - please join us!
Rich Hickey
Introduction
The goals of this project are simple: Create a highly configurable, easily modifiable source code beautifier.
Features
* Ident code, aligning on parens, assignments, etc
* Align on '=' and variable definitions
* Align structure initializers
* Align #define stuff
* Align backslash-newline stuff
* Reformat comments (a little bit)
* Fix inter-character spacing
* Add or remove parens on return statements
* Add or remove braces on single-statement if/do/while/for statements
* Supports embedded SQL 'EXEC SQL' stuff
* Highly configurable - 168 configurable options as of version 0.30
The name cpdetector is a short form for code page - detector and has nothing to do with java classpaths. cpdetector is a framework for configurable code page-detection of documents. It may be used to detect the code page of documents retrieved from remote
IBM is pleased to contribute translations for the Eclipse Project, the Eclipse Web Tools Platform (WTP) Project, the Eclipse Test and Performance Tools Platform (TPTP) Project, the Business Intelligence and Reporting Tools (BIRT) Project, the Eclipse Modeling Project, the Eclipse Data Tools Platform (DTP) Project and for several subprojects of the Eclipse Tools Project for the Callisto releases.