Search Results for "scientific"

xLaDe is a simple Python-based CLI tool built for executing and preserving Lean 4 projects. It is an ecosystem-level tool, which records the toolchain and other metadata of projects and allows the reconstruction and rebuilding of that exact environment later. Lean 4 undergoes rapid development, which can introduce backward-compatibility issues. This problem becomes more difficult as the versions accumulate over time. xLaDe is built to mitigate the practical issues of...

This is a minimalistic, portable command line tool, written entirely in BASH scripting language, for accessing solar charge controller's historical logs and current status information. It should be compatible with Phocos CX/CXN-10/20/40 solar charge controllers. It has been tested with CXN-40 operating in 12 V mode. The documentation can be found at the top of the executables. The tool is licensed under GPLv2. The protocol has been reverse-engineered on the author's own free time. The...

THIS PROJECT MIGRATED TO https://gitlab.com/mwetoolkit/mwetoolkit3/ The Multiword Expressions toolkit aids in the automatic identification and extraction of multiword units in running text. These include idioms (kick the bucket), noun compounds (cable car), phrasal verbs (take off, give up), etc. Even though it focuses on multiword expresisons, the framework is quite complete and can also be useful in any corpus-based study in computational linguistics. The mwetoolkit can be...

ADOMA stands for: Alternative Display Of Multiple Alignment. ADOMA can create four different displays of a multiple sequence alignment: a ClustalW alignment in HTML format, a simplified ClustalW alignment in HTML and/or txt format and a colored ClustalW alignment in HTML format. For examples of these outputfiles check the screenshots. ADOMA uses ClustalW to create the multiple alignment from DNA or protein sequences and displays them slightly different than the normal output of ClustalW....