Search Results for "gnu typing"

Qwerty Learner is an open-source vocabulary and typing practice application designed for people who work primarily at a keyboard. It combines word memorization with repeated English typing to strengthen accurate muscle memory. Users must retype incorrectly entered words, reducing the chance of reinforcing spelling mistakes. The application includes dictionaries for major English exams, school levels, business English, programming terms, and several language-specific APIs. Phonetic symbols...

rime-ice is a highly optimized schema for the RIME (中州韻) input method engine, offering a clean, intelligent, and efficient Chinese input experience. Built with modular configuration files and designed for performance, rime-ice provides powerful input suggestions, simplified vocabulary, and flexible customization, catering to users who want a streamlined and practical Chinese typing setup.

SNOBOL4, while known primarily as a string language excels at any task involving symbolic manipulations. It provides run time typing, garbage collection, user data types, on the fly compilation.

LIPS is an easy-to-use command line interpreter for the lambda-calculus. It supports different evaluation strategies, a trace-mode, abbreviations and typing. Furthermore LIPS allows to export interpreter-sessions to a user-definable format (e.g., LaTeX).

Cartesian is a pure functional programming language, wrapped in an imperative and object oriented layer. The main goal is to separate both worlds and to have some very clean and well defined interfaces. This project is the reference implementation of the language, as an interpreter. The interpreter's goal is not performance.

ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag

AWK~plus is the next generation script practice environment. The AWK Language specifications and a main extension of GNU GAWK. Combination of Dynamic and Static typing. Parallel computing that a lock is free, and is thread safe at a language level.

A small Java application that helps write texts in most languages on any keyboard that supports typing at least all ASCII characters. A systray application for Windows (written in C#) is available as well.

GWTApp provides several features like: HTML templating and messaging at runtime without application recompiling, MetaField to auto bind and simulate annotation of RPC data fields, Strong typing in MVC, Modular structure in Maven.

Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.

ThetaCircle is an easy to use typing and scripting tool. Use it to type, copy and then pipe or paste your script to your favorite word processor. The major use of ThetaCircle is for translation and transcription.

This is a framework for the creation of dynamic scripting languages on the .NET platform. Static typing, type inference, and true derivation from .NET classes are also planned. Two projects built on this are Boa and NetLisp. It is a work in progress.

A small library that enables interface based duck typing for Java. Based on java.lang.reflect.Proxy

LPCBuilder - A code generator for the LP breed of muds. One of the prime objects of the project is to streamline the process of writing LPC code, enabling the builder to spend his/hers time on creating interesting objects instead of typing code.

Testerman is an attempt to produce a TTCN-3 inspired test automation system without the strict typing model of the TTCN-3 test control notation that can be too heavy to be practical with non-stricly defined protocols. This is achieved by bringing TTCN-3 primitives and concepts to the Python programming language. It provides a complete environment to design, manage, execute and analyze automated tests, and can be used as a platform to develop test simulators (drivers and stubs) and...