Search Results for "libhamlib-4"

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 backward-compatibility problems and improve ecosystem-level tooling for the Lean 4 theorem prover. ...

This little shell script can create partitions on an LTO-5+ tape. LTO-5 tapes can hold 2 partitions, LTO-6+ tapes can hold up to 4 partitions. It can work as batch and interactive (menu driven) on console/terminal.

Please watch the video below, to convert any file or a command output into a nice html table, in less than 5 Minutes time. The output html file can then be browsed from any location, using a local webserver or an internet www domain. Usage Examples: (Type them on Terminal) cd ~/Downloads/tabulate # location chmod +x *.sh cat "student_marks.csv" | { cat ; echo ; } | ./tabulate.sh -d "," -t "My School" -h "First Term" > "marks.html" # or > "/var/www/html/marks.html" -d specifies...

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. ...

This is the far-easiest command line tool for running torrents under Linux. It only has 4 options, but a little-more advanced user can finetune it by editing. Created by Salcay's Boring Hours

Generic and quickly customizable command line tool for managing software projects, configurations, task, documentation, ... Not a todo tool, more on scriptable side. The idea is to let user keep grouped his tasks. Bash scripting skill is required :)