Search Results for "checkers"

ecl1 is a set of tools, implemented as Eclipse plugin, that supports the creation of HISinOne extensions. It adds support for creating a new HISinOne Extension and special checkers for the enrollment of lectures.

Eric is a Python IDE written using PyQt and QScintilla. It provides various features such as any number of open editors, an integrated (remote) debugger, project management facilities, unit test, refactoring and much more.

Neomake is an asynchronous linting and build framework for Vim and Neovim that predates and inspires newer tooling in this space. It runs “makers” (linters, compilers, format checkers, test commands) in the background and surfaces results as signs, virtual text, or via quickfix/location lists. The system is highly configurable: you can define per-filetype makers, chain multiple tools, and control when they run (on save, on write, on cursor hold, or manually). Run several makers concurrently and aggregate results. ...

Voikko is a spell checking, grammar checking, morphological analysis and hyphenation system. Spell checkers are available for multiple languages, other features for Finnish only.

Verification framework for BPEL4WS processes using model checkers like Spin and NuSMV. It takes input BPEL4WS processes and generates output models that can work as input for these model checkers.

Yet Another Component Meta Model Framework. Similar to the Java reflection API, but generic so it can be used with different implementations, and then be used by various Services like Editors, Constraint-Checkers, Bindings, Persistence, and Transaction.

Ataraxia will provide a generic internet gaming framework in java. Board, table, card games will be easy to be developed! bridge, hearts, spades, rummy, go, connect-4, chess, checkers, monopoly, risk, mahjong and more will come! JXTA P2P will be tested.